Allow len() with a Tuple argument

Fixes #158.
python · Jul 13, 2014 · 3780b0a · 3780b0a
1 parent 535ae11
commit 3780b0a
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 0 deletions.
diff --git a/mypy/test/data/pythoneval.test b/mypy/test/data/pythoneval.test
@@ -838,3 +838,9 @@ import typing
 'x'.count('x')
 'x'.count(u'x')
 [out]
+
+[case testLenOfTuple]
+import typing
+print(len((1, 'x')))
+[out]
+2
diff --git a/stubs/3.2/builtins.py b/stubs/3.2/builtins.py
@@ -964,7 +964,10 @@ def isinstance(o: object, t: tuple) -> bool: pass
 def issubclass(cls: type, classinfo: type) -> bool: pass
 # TODO perhaps support this
 #def issubclass(type cld, classinfo: Sequence[type]) -> bool: pass
+@overload
 def len(o: Sized) -> int: pass
+@overload
+def len(o: tuple) -> int: pass
 def locals() -> Dict[str, Any]: pass
 
 # TODO more than two iterables