Commit Graph

180 Commits

Author SHA1 Message Date
Eric Traut
05cdaf9344 Added missing section on type aliases within typed library documentation. 2020-09-29 15:16:48 -07:00
Eric Traut
67e94f4c8a Fixed markdown rendering issue in docs. 2020-09-29 15:04:51 -07:00
Eric Traut
1cb2a3a950 Added detailed documentation for the "--verifytypes" option. 2020-09-29 15:03:14 -07:00
Eric Traut
dc5cd387fc Implemented new "verifytypes" command-line option that analyzes a py.typed package and reports missing or partially-unknown types. 2020-09-28 14:49:32 -07:00
Eric Traut
b6cd5eedae Fixed missing JSON field in command-line documentation. 2020-09-28 14:34:29 -07:00
Eric Traut
5d44a7e35d Updated import resolution documentation to accurately reflect recent changes related to py.typed packages. 2020-09-23 14:20:23 -07:00
Eric Traut
6378f7761f Changed reveal_type to use an information diagnostic severity rather than warning. Added support in CLI for information diagnostic severity. These were previously dropped. 2020-09-16 10:11:30 -07:00
Eric Traut
006f5d60d1 Changed python.analysis.logLevel to use "Information" rather than "Info" for consistency with Python extension. 2020-09-14 14:44:18 -07:00
Eric Traut
f72711b07b Added support for new "reportWildcardImportFromLibrary" diagnostic rule that checks for the use of wildcard imports from non-local modules. By default, it is reported as a warning, but in strict mode it is an error. 2020-09-12 20:31:25 -07:00
Eric Traut
6356575664 Changed the behavior of the command-line version of pyright when file specs are passed on the command line. Previously, file specs couldn't be used in conjunction with a config file. Now a config file is used, but the specified file specs override the "include" section of the config file. 2020-09-11 00:27:57 -07:00
Eric Traut
cea376e59b Added new diagnostic rule "reportPropertyTypeMismatch" that verifies that the type of the input parameter to a property's setter is assignable to the return type of the getter. 2020-09-05 14:55:12 -07:00
Eric Traut
0a65625e03 More documentation improvements. 2020-09-04 14:51:40 -07:00
Eric Traut
4fa40fba75 Minor tweak to documentation. 2020-09-04 14:32:38 -07:00
Eric Traut
6591dafce0 Documented the JSON output when "--outputjson" command-line option is used. 2020-09-04 14:30:14 -07:00
Jake Bailey
9e231b1292
Extensibility updates in threading and fourslash, add completion context (#995) 2020-09-02 19:01:49 -07:00
Eric Traut
9e46548fc5 Added new "reportMissingTypeArgument" diagnostic rule and enabled it by default in "strict" mode. It generates a diagnostic when a generic class or generic type alias is used in an annotation with no type arguments provided. Also fixed a bunch of inaccurate settings defaults in pyright's package.json. 2020-09-01 15:59:31 -07:00
Jake Bailey
da39a2a78a
Convert repo into a lerna monorepo, add a validation workflow (#978) 2020-08-28 19:46:48 -07:00
Eric Traut
295a6dd306 Changed capitalization of the python.analysis.logLevel setting so it matches Pylance. The settings code in Pyright is case insensitive, but the JSON editor emits a warning if the case doesn't match. 2020-08-20 09:17:32 -07:00
Eric Traut
07001963c2 Fixed documentation bug. 2020-08-15 16:14:04 -07:00
Eric Traut
605bcc482c Added support for narrowing types based on the pattern "A.B == <literal>" and "A.B != <literal>" when A has a union type and all members of the union have a field "B" with a declared literal type that discriminates one sub-type from another. 2020-08-15 16:11:23 -07:00
Eric Traut
b59542c6ed Improved command-line documentation to clarify that individual files specified on the command line will cause the config file to be ignored. 2020-08-14 23:07:23 -07:00
Eric Traut
9e1a67c418 Added more documentation about type concepts relating to mutable container types. 2020-08-12 12:29:13 -07:00
Eric Traut
7808935fa7 Added support for "useLibraryCodeForTypes" option in config file. It overrides the client setting of the same name or the "--lib" command-line option.
Fixed several bugs in logging for config errors.
2020-08-10 11:28:50 -07:00
Jake Bailey
b89504d593
Add python.analysis.autoImportCompletions to control auto-import completions (#917) 2020-08-05 16:00:11 -07:00
Eric Traut
109e2dfd71 Added new diagnostic rule "reportInvalidStubStatement" (on by default in strict mode, off otherwise) that reports diagnostics for statements that should not appear within a type stub file. 2020-08-04 22:02:56 -07:00
Eric Traut
997fd7d57c More docs improvements. 2020-08-02 14:50:14 -07:00
Eric Traut
c7dfba390d More docs improvements. 2020-08-02 14:48:48 -07:00
Eric Traut
b7ae207558 Small improvements to documentation. 2020-08-02 14:20:07 -07:00
Eric Traut
2ade4f0aeb Removed redundant documentation from configuration.md. 2020-07-30 18:52:17 -07:00
Eric Traut
63c9b5b691 Fixed a few typos in the inference documentation. 2020-07-27 21:03:20 -07:00
Eric Traut
f844bd2f1c Added new diagnostic rule "reportIncompatibleVariableOverride" which is similar to "reportIncompatibleMethodOverride" except that it reports incompatible overrides of variables (non-methods). 2020-07-26 10:32:21 -07:00
Eric Traut
dcfcd09a1e Updated CI docs. 2020-07-22 21:54:10 -07:00
Joe Paris
36e4fb3a30
Fixed typo (#876)
Fixed minor typo on line 33.
2020-07-22 17:45:07 -07:00
Eric Traut
2002520d0b Moved CI documentation to its own page. 2020-07-22 16:55:50 -07:00
Eric Traut
d687708503 Updated "getting started" documentation to include an example git hook definition. 2020-07-22 16:53:34 -07:00
Eric Traut
0cb83d36c8 Renamed setting "pyright.useLibraryCodeForTypes" to "python.analysis.useLibraryCodeForTypes" for compatibility with Pylance. The older setting name is still supported but will be removed in the future. 2020-07-16 15:58:09 -07:00
Eric Traut
3581910469 Improved documentation for useLibraryCodeForTypes setting. 2020-07-16 15:49:16 -07:00
Eric Traut
579fb7be69 Fixed an outdated statement in the configuration documentation. 2020-07-16 10:09:43 -07:00
Eric Traut
838b293a4f Small improvements to type inference documentation. 2020-07-15 00:26:02 -07:00
Eric Traut
531ebc4694 Added documentation for type inference. 2020-07-14 23:02:50 -07:00
Eric Traut
c80b8af3aa Updated "getting started" docs. 2020-07-11 14:40:01 -07:00
Eric Traut
5e4cbeca63 Fixed a few markdown issues in import resolution documentation. 2020-07-11 14:00:20 -07:00
Eric Traut
5526b9aafe More tweaks to import resolution documentation. 2020-07-11 13:42:17 -07:00
Eric Traut
19c8a47ff8 Changed Pyright import resolution order to match that described in PEP 561. In particular, stubs in stubPath are now searched prior to user code, and third-party typeshed stubs are searched only after installed packages are searched for stub packages and inline stubs. There is one place where Pyright's import resolution still differs from a strict interpretation of PEP 561: it searches stdlib typeshed stubs first (unless typeshedPath is defined, in which case it searches there). This is more consistent with the way the Python interpreter resolves stdlib types. 2020-07-11 13:39:32 -07:00
Eric Traut
5a57aaa14f Added more details to the import resolution documentation. 2020-07-11 12:53:17 -07:00
Eric Traut
9505d1b242 Added new section on debugging import resolution problems. 2020-07-11 12:40:29 -07:00
Eric Traut
ef1b4d8441 Missed a file. 2020-07-11 12:35:29 -07:00
Eric Traut
69c0841d7a Updated Pyright documentation for import resolution so it is more complete and better reflects the logic implemented in the code. 2020-07-11 12:35:05 -07:00
Eric Traut
f6200f9887 Switched "pyright.typeCheckingMode" to "python.analysis.typeCheckingMode" for compatibility with Pylance. 2020-07-05 15:28:37 -07:00
Eric Traut
faf4464ae0 Tweaked internals documentation for clarity. 2020-06-30 23:56:16 -07:00