Commit Graph

1833 Commits

Author SHA1 Message Date
Eric Traut
ac5295933b Updated dependencies. 2020-05-22 12:37:29 -07:00
Eric Traut
150971c55c Added third-party typeshed stubs. 2020-05-22 09:37:00 -07:00
Eric Traut
afa42826a3 Updated stdlib typeshed stubs to the latest. 2020-05-22 09:31:59 -07:00
Eric Traut
74e375dccb If a type stub doesn't specify a return type for a function or method, assume that it's "Unknown" rather than "Any". 2020-05-22 00:52:00 -07:00
Eric Traut
1f8181b9ba Tightened the check for unknown member types. Previous logic didn't check for unknown member types when member accesses in all cases. 2020-05-22 00:51:09 -07:00
Eric Traut
4f4b383ab6 Changed code to allow ParameterSpecification to be passed as a type arg to a generic class. 2020-05-22 00:49:34 -07:00
Eric Traut
17ab38dd57 Fixed bug in completion suggestions where inappropriate auto-import suggestions were sometimes presented when multiple execution environments are defined. 2020-05-21 22:17:11 -07:00
Eric Traut
57ab85ef0c Added logic to ensure that a TypeVar or ParameterSpecification is assigned to a variable of the same name used within the constructor call. 2020-05-21 00:52:22 -07:00
Eric Traut
191486b3fe Added support for ClassVar as specified in PEP 526 and 544. 2020-05-21 00:16:11 -07:00
Eric Traut
81bce55718 Fixed bug related to specialization of a type alias definition that consists of a partially-specialized class. 2020-05-20 20:14:21 -07:00
Eric Traut
f88ff0c548 Fixed bug in generic class type matching. TypeVars from different levels of a class hierarchy were getting conflated. 2020-05-20 17:44:08 -07:00
Eric Traut
fd988d1227 Fixed errant "unbound variable" and "unknown type" messages that result from particularly complex cyclical analysis dependencies. 2020-05-17 23:24:04 -07:00
Eric Traut
8042fb8510 Added inferredTypeSource for exception target in binder. Fixed regression in binder logic for comprehensions. 2020-05-17 14:37:40 -07:00
Eric Traut
917ff4ea6b Added missing binding for target of list comprehension "for" clause. This caused some unaccessed variable diagnostics to go unreported. 2020-05-17 14:08:27 -07:00
Eric Traut
56e2f57133 Published 1.1.37 2020-05-16 09:48:01 -07:00
Eric Traut
0cfd899124 Cleaned up comments for readability and consistency. No functional change. 2020-05-15 21:54:39 -07:00
Eric Traut
4ee7261b69 Added another test case for ParameterSpecification. 2020-05-15 21:11:19 -07:00
Eric Traut
3c182c523d Allow comment-based type annotations to use forward references without using string literals. 2020-05-15 20:44:30 -07:00
Eric Traut
5bb39c8a71 Added support for PEP 612 (ParameterSpecification). 2020-05-15 20:16:26 -07:00
Eric Traut
6f30005de1 Tweaked settings documentation to make it clear that we're deprecating pyright.openFilesOnly. Added backward compatibility support for python.analysis.openFilesOnly. 2020-05-15 15:42:27 -07:00
Jake Bailey
1d56d6765f
Fix windows bug, add PEP 604 printing, fix unused variable action, add stubPath and diagnosticMode (#673) 2020-05-15 13:01:55 -07:00
Eric Traut
37c3abf734 Removed one recent change from buitlins.pyi to zip overload. I think it's problematic and is likely to be backed out of typeshed. 2020-05-13 23:53:47 -07:00
Eric Traut
c1917556d1 Updated typeshed fallback stubs from the typeshed repo. 2020-05-13 23:37:07 -07:00
Eric Traut
3b806dd477 Fixed a bug in the handling of overloaded functions. PEP 484 indicates that type checkers should ignore the final non-decorated function when matching a call against a series of overloaded variants for a function. 2020-05-13 22:45:17 -07:00
Eric Traut
dc3d11e93d Changed code that infers the return type of a coroutine (async) function that never returns. Previously, it inferred the type as "NoReturn", but it now infers "Awaitable[NoReturn]". 2020-05-13 22:33:50 -07:00
Eric Traut
84acd4a380 Changed code that prints types (e.g. for hover text) to use "Any" instead of "Unknown" when typeCheckingMode is "off". Also avoided printing type arguments when they're all Any or Unknown when typeCheckingMode is "off". 2020-05-13 19:21:05 -07:00
Eric Traut
b484ab634d Fixed misspellings. 2020-05-13 19:19:04 -07:00
Eric Traut
e6ddd81727 Added support for ".so" and ".dylib" native module files. 2020-05-12 21:47:50 -07:00
Eric Traut
98eb39bd5c Fixed bug in auto-import logic for the case where the completed symbol is a submodule within a top-level module. 2020-05-12 00:52:58 -07:00
Eric Traut
dc59d156d1 Fixed bug that caused incorrect type analysis for a property provided by a specialized form of a generic subclass. 2020-05-11 23:57:41 -07:00
Eric Traut
7adb6f204e Published 1.1.36 2020-05-09 16:24:31 -07:00
Eric Traut
2e79e7ba9c Special-cased FunctionType and LambdaType to avoid emitting false positives for the reportUnnecessaryIsInstance rule. 2020-05-09 16:12:16 -07:00
Eric Traut
098a121a3f Fixed bug that caused file changes not to trigger reanalysis in some cases. 2020-05-09 15:33:41 -07:00
Heejae Chang
8e32a2d345
Introduced UnboundVariable and UndefinedVariable diagnostic rules and refactored auto import and add tests (#663) 2020-05-08 18:55:32 -07:00
Eric Traut
8389012430 Updated dependencies. 2020-05-08 10:02:06 -07:00
Eric Traut
aaf505b4a9 Fixed bug in auto-import feature of type completion where imported module name included "-stubs" on the end if the symbol was resolved to a companion stub package. 2020-05-08 08:01:29 -07:00
Eric Traut
d1b8e6456a Fixed regression that caused diagnostics not to be cleared when closing a source file in the editor and openFilesOnly is enabled. 2020-05-08 07:14:31 -07:00
Eric Traut
46ec3ac82e Added code to verify that resource manager type implements __exit__ or __aexit__ in addition to its enter counterpart. 2020-05-07 18:04:56 -07:00
Jake Bailey
11918674e7
Add extraPath support, accept minor versions in version_info, make completion extension async (#662) 2020-05-07 16:52:53 -07:00
Eric Traut
c3660d2065 Improved error messages related to argument matching. The message now includes the corresponding parameter name and function, which is sometimes not obvious from the context (e.g. in the case of operator overloads or other magic methods). Moved dataclass tests out of fourslash so they're consistent with other checker tests. 2020-05-06 18:19:16 -07:00
Eric Traut
b90528e388 Fixed bug that caused incorrect error to be reported when assigning a value to an expression involving an index operator (e.g. a[x] = b) where the indexed value had a __setitem__ overload with an unannotated set of parameters. 2020-05-06 18:06:04 -07:00
Eric Traut
8d95a44323 Added support for the upcoming PEP 604 alternative notation for unions. 2020-05-05 22:58:45 -07:00
Eric Traut
a8bc7cda1c Updated heuristics that are used to determine which type to use for constructor calls. In some cases, it's preferable to use the specialized type derived from the call to __init__. Other times, it's preferable to use the type derived from the call to __new__. 2020-05-05 19:57:34 -07:00
Eric Traut
c9b74d2d04 Implemented support for enum literals. Also implemented support for type narrowing for == or != comparisons for types that can be decomposed into a limited number of literals (bool and enum). 2020-05-05 10:50:38 -07:00
Eric Traut
e2b66c6c4a Added support for @runtime_checkable decorator, as defined in PEP 544. 2020-05-04 18:03:13 -07:00
Eric Traut
a52b86a027 Fixed bug that caused auto-import to insert import statements in the wrong place when local typings stubs are used. These imports were treated as part of the local group rather than third-party. 2020-05-04 15:23:17 -07:00
Eric Traut
864b1b51ff Published 1.1.35 2020-05-02 12:59:45 -07:00
Eric Traut
0f4a920fbd Fixed broken assumption in test case. 2020-05-02 12:56:44 -07:00
Eric Traut
d6d92a8574 Changed "organize imports" to follow formatting rules of "black" formatter for multi-line imports. 2020-05-02 12:48:47 -07:00
Eric Traut
5aba67645b Added the ability for a server to specify which commands should present a cancelable progress dialog and which shouldn't. It was annoying to see a dialog for simple commands like "organize imports". Did some cleanup of comments and variable names. 2020-05-02 12:48:20 -07:00