Commit Graph

491 Commits

Author SHA1 Message Date
Eric Traut
057b351efa
Added support for multithreaded type checking in CLI. (#8309) 2024-07-04 20:52:37 -07:00
Jonas Vacek
4a9b9a547c
fix broken markdown link (#8186) 2024-06-20 15:55:37 +02:00
InSync
5f47007df3
Clarify description for exclude (#8148) 2024-06-16 05:59:09 +02:00
Eric Traut
8e1797cca7 Clarified in documentation that ... is an ellipsis token. 2024-06-11 14:18:55 -07:00
Eric Traut
4b84651950 Added the ability to override type checking configuration settings for each execution environment. This allows, for example, a test directory to use different settings than the directories that contain production code. This addresses #4059. 2024-06-06 15:25:01 -07:00
JR Heard
d5b6abad59
Fix typo in type-stubs.md (#8037) 2024-05-31 20:00:30 -07:00
Eric Traut
421dabee57
Added support for configuration inheritance through an "extends" configuration option. This addresses #4366. (#7997) 2024-05-24 17:22:12 -07:00
Eric Traut
59b8963684 Attempted to clarify meaning of "include" and "exclude" in documentation. 2024-05-23 16:27:39 -07:00
Eric Traut
50d4f44735
Changed tuple expression inference behavior to not preserve literal entry types if the tuple expression is embedded within another tuple, set, list, or dictionary expression. This addresses #7159. (#7970) 2024-05-22 16:10:05 -07:00
Eric Traut
496e50f65c Tweaked documentation. 2024-05-08 21:04:00 -07:00
Rich Chiodo
36e00b8785
Add note about VS code's locale being used first (#7876)
In response to https://github.com/microsoft/pyright/issues/7873
2024-05-08 11:54:50 -07:00
Lucian Wischik
2935732b85
fix broken link in configuration.md (#7844) 2024-05-04 19:59:51 -07:00
Eric Traut
0a8e1b7af6 Fixed documentation and json schema for reportMissingTypeStubs default. This addresses #7789. 2024-04-26 21:40:57 -07:00
Eric Traut
9ca7cbd48c Updated documentation to show that PEP 742 is no longer in draft form. 2024-04-22 17:35:27 -07:00
Max Muoto
591b0d0a5a
Update typing docs with Pycharm usage (#7744) 2024-04-22 14:33:23 -07:00
InSync
687fadef75
Fix a few typos in docs/configuration.md (#7739)
* Fix a typo

* Add missing "default" clause
2024-04-22 09:09:37 -07:00
Eric Traut
98d1523077
Expanded support for len(x) == L type guard pattern (where x is a tuple) to support <, <=, > and >= comparisons as well. This addresses #7655. (#7657) 2024-04-09 23:13:17 -07:00
Erik De Bonte
ed92822a64
Simplify editable install docs (#7643) 2024-04-08 18:58:48 -07:00
Eric Traut
bf4ddb357b Updated documentation for #7590. 2024-03-29 21:40:57 -06:00
Eric Traut
e9d923b739 Fixed bad link in documentation. 2024-03-26 14:06:02 -06:00
Federico Caselli
1f168130a7
Use a list for the configuration options (#7565) 2024-03-26 13:59:55 -06:00
Eric Traut
6a042f7b58
Added new reportUnhashable diagnostic rule. This addresses #7462. (#7464) 2024-03-12 00:34:58 -06:00
Eric Traut
d58393b630 Updated documentation for "implied else". 2024-03-04 10:49:40 -07:00
Rich Chiodo
ab402404b3
Drop support for node 12 (#7375)
* Drop support for node 12

* Forgot to update package-lock.json
2024-02-29 10:47:42 -07:00
Eric Traut
1f8fd8e2b0 Enabled PEP 705 and PEP 696 functionality without the use of enableExperimentalFeatures now that they are accepted. 2024-02-29 09:34:35 -07:00
Lucian Wischik
c0fbb93ee4
Debugging (#7332)
* launch.json CLI debug that bypasses webpack

I got a bit irritated in my edit-build-debug inner loop with the time to run webpack.

This commit adds a new launch target called "Pyright CLI (pyright-internal)" which bypasses webpack and just runs the package straight from the packages/pyright-internal/out directory where tsc has built it.

* fix outFiles directive

The VSCode docs say about outFiles:
> By default, VS Code will search your entire workspace, excluding node_modules, for sourcemaps. In large workspaces, this search might be slow. You can configure the locations where VS Code will search for source maps by setting the outFiles attribute in your launch.json.

I guess this is the right change to make? it didn't make any difference in VSCode debugger's ability to hit breakpoints, though.

---------

Co-authored-by: Eric Traut <eric@traut.com>
2024-02-25 15:26:06 -07:00
Eric Traut
e67047551e Improved consistency of documentation when talking about diagnostic settings. 2024-02-21 15:39:13 -07:00
Eric Traut
512e29e70e Documented support for PEP 728. 2024-02-21 15:34:05 -07:00
Eric Traut
9e32b8fd57 Updated documentation to indicate support for PEP 742. 2024-02-19 01:17:00 -07:00
Lucian Wischik
3f6e47f719
Clarify that "exclude" overrides include directories *and* files (#7216)
The exclude directive overrides include directories *and* include files.

I verified by experiment, and also by reading the source code https://github.com/ljw1004/pyright/blob/main/packages/pyright-internal/src/common/uri/uriUtils.ts#L54
2024-02-06 12:02:57 -08:00
Blake Naccarato
9fb26eb7a3
Clarify virtual environment language in exclude part (#7133) 2024-01-26 09:22:57 -08:00
Eric Traut
5aa10443bc Added a few useful links to the docs. 2024-01-21 20:35:11 -08:00
Eric Traut
3ebcef2d90 Fixed minor doc bug. 2024-01-21 20:28:15 -08:00
Eric Traut
197ecd7bc4
Added three new diagnostic rules: reportArgumentType covers argument type compatibility checks, reportAssignmentType covers type compatibility checks for assignments, and reportReturnType covers type compatibility checks for return and yield statements. This partially addresses #6973. (#7077) 2024-01-21 02:20:52 -08:00
Eric Traut
6ac1a7eebf
Added new diagnostic rule reportCallIssue that covers issues relating to call expressions and arguments. This partially addresses #6973. (#7076) 2024-01-21 01:47:43 -08:00
Eric Traut
63637459ca
Added two new diagnostic rules: reportAttributeAccessIssue is related to attribute accesses and reportIndexIssue is related to index operations and expressions. This partially addresses #6973. (#7075) 2024-01-21 01:35:19 -08:00
Eric Traut
8270551bbe
Added two new diagnostic rules: reportAbstractUsage reports invalid use of abstract classes and methods and reportOperatorIssue covers diagnostics related to unary and binary operators. This partially addresses #6973. (#7074) 2024-01-21 01:07:49 -08:00
Eric Traut
ec6052ea9d
Added two new diagnostic rules: reportInvalidTypeArguments reports invalid type arg usage and reportRedeclaration reports attempts to redeclare the type of a symbol. This partially addresses #6973. (#7073) 2024-01-21 00:33:05 -08:00
Eric Traut
7a67f4fbdb
Added two new diagnostic rules: reportInconsistentOverload reports inconsistencies between overload signatures and/or implementation and reportNoOverloadImplementation reports an overloaded function with a missing implementation. This partially addresses #6973. (#7072) 2024-01-21 00:04:55 -08:00
Eric Traut
91960fba49
Added new diagnostic rule reportPossiblyUnboundVariable, which is split off from reportUnboundVariable. This addresses #6896. (#7071) 2024-01-20 23:34:11 -08:00
Eric Traut
aa64fc5dec
Added two new diagnostic rules: reportAssertTypeFailure for type mismatches detected by typing.assert_type and reportUnusedExcept for situations where an except statement is determined to be unreachable. (#7070) 2024-01-20 22:21:42 -08:00
Eric Traut
04e0536a52
Added new diagnostic rule reportInvalidTypeForm that controls reporting of invalid type expression forms. This partly addresses #6973. (#7069) 2024-01-20 21:56:10 -08:00
Eric Traut
cab9f886de Updated "mypy comparison" documentation based on recent improvements in mypy. It's now able to handle higher-order functions. 2024-01-16 00:32:52 -08:00
Eric Traut
cdcd4046b5 Added new language server setting pyright.disableTaggedHints to disable the use of diagnostics hints with tags. Some language server clients do not display these tagged hints in the intended manner and instead treat them as regular diagnostics. 2024-01-14 21:11:13 -08:00
Yashraj Singh
05711a0794
corrected typo in configuration.md (#6950) 2024-01-09 23:30:29 -08:00
Eric Traut
24d9890f36 Added sidebar link to locale documentation section. 2024-01-05 09:46:10 -07:00
Eric Traut
4afd9a4295 Added documentation for overriding the locale via env variables. 2024-01-05 09:44:27 -07:00
Eric Traut
a635a725a0 Updated documentation to refer to "value-constrained" TypeVars rather than just "constrained TypeVars", since all TypeVars are constrained in some manner. 2023-12-31 00:19:46 -07:00
Eric Traut
fd5900f7e7 Clarified that reportOptionalOperand applies only to the LHS operand for binary operators. This addresses #6687. 2023-12-08 19:56:43 -08:00
Eric Traut
9c8a0f1a4a Improved error message for set invariance type violations. This comes from mypy issue https://github.com/python/mypy/issues/16631. 2023-12-07 10:52:16 -08:00