Add len() for strings (#19320)
authorDavid Riazati <davidriazati@fb.com>
Tue, 16 Apr 2019 22:03:47 +0000 (15:03 -0700)
committerFacebook Github Bot <facebook-github-bot@users.noreply.github.com>
Tue, 16 Apr 2019 22:11:33 +0000 (15:11 -0700)
commit78f589e794081abbc8cb001552444aec712d1f89
treecc679c74c4a109c9f4e568ed421d0f325cba989a
parentdf67969e6b8846e901e65febd859a1293d8f0509
Add len() for strings (#19320)

Summary:
Pull Request resolved: https://github.com/pytorch/pytorch/pull/19320
ghimport-source-id: 62131cb24e9bf65f0ef3e60001cb36509a1f4163

Reviewed By: bethebunny

Differential Revision: D14961078

Pulled By: driazati

fbshipit-source-id: 08b9a4b10e4a47ea09ebf55a4743defa40c74698
test/test_jit.py
torch/csrc/jit/register_prim_ops.cpp