1 Commits

Author SHA1 Message Date
Dave Halter 3319cadf85 Make builtins work
One change is a Jedi issue, Jedi cannot really deal with __new__.
The other is a typeshed issue. "function" should not be defined in the stubs.
2019-05-19 13:12:18 +02:00
2 changed files with 2 additions and 18 deletions
+1 -9
View File
@@ -852,6 +852,7 @@ class slice(object):
class tuple(Sequence[_T_co], Generic[_T_co]):
def __new__(cls: Type[_T], iterable: Iterable[_T_co] = ...) -> _T: ...
def __init__(self, iterable: Iterable[_T_co] = ...): ...
def __len__(self) -> int: ...
def __contains__(self, x: object) -> bool: ...
@overload
@@ -872,15 +873,6 @@ class tuple(Sequence[_T_co], Generic[_T_co]):
else:
def index(self, x: Any) -> int: ...
class function:
# TODO not defined in builtins!
__name__: str
__module__: str
if sys.version_info >= (3,):
__qualname__: str
__code__: CodeType
__annotations__: Dict[str, Any]
class list(MutableSequence[_T], Generic[_T]):
@overload
def __init__(self) -> None: ...
+1 -9
View File
@@ -852,6 +852,7 @@ class slice(object):
class tuple(Sequence[_T_co], Generic[_T_co]):
def __new__(cls: Type[_T], iterable: Iterable[_T_co] = ...) -> _T: ...
def __init__(self, iterable: Iterable[_T_co] = ...): ...
def __len__(self) -> int: ...
def __contains__(self, x: object) -> bool: ...
@overload
@@ -872,15 +873,6 @@ class tuple(Sequence[_T_co], Generic[_T_co]):
else:
def index(self, x: Any) -> int: ...
class function:
# TODO not defined in builtins!
__name__: str
__module__: str
if sys.version_info >= (3,):
__qualname__: str
__code__: CodeType
__annotations__: Dict[str, Any]
class list(MutableSequence[_T], Generic[_T]):
@overload
def __init__(self) -> None: ...