Yashraj Singh
|
05711a0794
|
corrected typo in configuration.md (#6950)
|
2024-01-09 23:30:29 -08:00 |
|
Eric Traut
|
4641f05881
|
Fixed a bug that resulted in incorrect inference of an async generator expression if an await keyword was used in a for iterator expression. This addresses #6948. (#6949)
|
2024-01-09 19:08:03 -08:00 |
|
Eric Traut
|
2835c47c5a
|
Changed the way pyright identifies an "unimplemented protocol method" within a stub file. It now looks at whether the method is decorated with @abstractmethod . Previously, it assumed all such methods were potentially implemented. This addresses #6946. (#6947)
|
2024-01-09 14:38:50 -08:00 |
|
Eric Traut
|
a7c8526850
|
Fixed file type casing issue that affected Linux tests.
|
2024-01-09 14:04:51 -08:00 |
|
Eric Traut
|
bdbb630ac6
|
Added support for https://github.com/python/typeshed/issues/11260.
|
2024-01-09 13:37:38 -08:00 |
|
Eric Traut
|
9e3a56dcc3
|
Fixed a bug that led to a false negative when using a non-data protocol class in a tuple within an issubclass check. This addresses #6936.
|
2024-01-09 12:38:33 -08:00 |
|
Eric Traut
|
5789a786da
|
Merge branch 'typeshed_update' into main
|
2024-01-09 12:28:04 -08:00 |
|
Eric Traut
|
16778e6cdd
|
Fixed a broken internal assumption that was violated by recent typeshed change.
|
2024-01-09 12:27:45 -08:00 |
|
Eric Traut
|
cc17eb39a5
|
Fixed a bug that resulted in a false positive error when using a bound TypeVar in an except statement. This addresses #6944. (#6945)
|
2024-01-09 11:02:03 -08:00 |
|
Eric Traut
|
c88987e5ac
|
Added code to properly print a f-string expression in pyright's "expression printer". This addresses #6399.
|
2024-01-09 09:05:12 -08:00 |
|
Eric Traut
|
b16619a8bc
|
Published 1.1.345
|
2024-01-07 19:26:07 -08:00 |
|
Eric Traut
|
4edd23003f
|
Updated typeshed to the latest version.
|
2024-01-07 19:25:36 -08:00 |
|
Eric Traut
|
57282f76f3
|
Fixed a bug that led to a duplicate error message when defining a class-scoped type alias.
|
2024-01-06 21:46:24 -07:00 |
|
Eric Traut
|
69fb4b7f52
|
Added check for "unsafe overlaps" for a runtime-checkable protocol when used in an issubclass or isinstance check. This addresses #6882. (#6933)
|
2024-01-06 21:44:33 -07:00 |
|
Eric Traut
|
ba06108bcb
|
Added missing error for an illegal unpacked argument in type argument list.
(cherry picked from commit 7a9165b716 )
|
2024-01-06 21:14:38 -07:00 |
|
Eric Traut
|
1f74459b6a
|
Fixed a bug that resulted in a false negative when specializing a generic type alias parameterized by a regular TypeVar with an unpacked tuple. This addresses #6903.
(cherry picked from commit d76c8fa643 )
|
2024-01-06 21:14:14 -07:00 |
|
Eric Traut
|
e06aaa88cd
|
Added missing check for the specialization of a generic type alias that includes a TypeVarTuple plus two or more TypeVars. This addresses #6904.
|
2024-01-06 21:11:45 -07:00 |
|
Eric Traut
|
064f02e15e
|
Fixed a bug that led to incorrect type evaluation when a constrained TypeVar includes literal types as constraints. This addresses #6917. (#6929)
|
2024-01-06 15:19:03 -07:00 |
|
Eric Traut
|
9b64d81c94
|
Fixed bug that leads to a false positive when a generic property is defined within a protocol. This addresses #6877. (#6928)
|
2024-01-06 14:55:37 -07:00 |
|
Eric Traut
|
1886fb8b1b
|
Added check for data protocols used in an issubclass call. PEP 544 indicates that this isn't allowed. This addresses #6881. (#6926)
|
2024-01-06 14:20:50 -07:00 |
|
Eric Traut
|
ec0785afab
|
Implemented small performance improvement by not generating error messages during protocol TypeVar variance validation.
|
2024-01-06 10:19:50 -07:00 |
|
Eric Traut
|
0674b096fc
|
Added check for a call to an unimplemented method in a protocol from a base class that explicitly calls it. This addresses #6880. (#6925)
|
2024-01-06 09:00:02 -07:00 |
|
Eric Traut
|
70b2d47afd
|
Improved type analysis performance in certain cases involving complex code flow graphs and "truthy" conditional statements. This addresses #6890. (#6922)
|
2024-01-05 23:58:45 -07:00 |
|
Eric Traut
|
4b6d636206
|
Fixed bug in protocol matching logic to reject a protocol match if a variable is a ClassVar in the protocol but not in the concrete class (or vice versa). This addresses #6869. (#6920)
|
2024-01-05 16:14:48 -07:00 |
|
Eric Traut
|
818b423eb0
|
Added missing check for inconsistent use of @final in an overloaded function. Added missing check for override of an overloaded method marked @final . This addresses #6860 and #6866. (#6918)
|
2024-01-05 12:38:52 -07: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
|
930ff06e55
|
Improved evaluation logic for tuple slices. It now works in cases where the tuple includes unbounded entries or unpacked TypeVarTuples. This addresses #6906. (#6913)
|
2024-01-05 00:13:54 -07:00 |
|
Eric Traut
|
d0100aca93
|
Added support for constants for field names in NamedTuple call. This addresses #6878.
|
2024-01-04 20:41:11 -07:00 |
|
Eric Traut
|
1a701e4f7b
|
Removed support for Union[*Ts] and Union[*tuple[...]] . This functionality was included in an early draft of PEP 646 but was dropped in the final spec. The functionality can still be used in pyright if useExperimentalFeatures is set to true, but it will likely be removed entirely in the future. This addresses #6892. (#6912)
|
2024-01-04 20:17:05 -07:00 |
|
Eric Traut
|
7893909701
|
Fixed bug that resulted in incorrect type evaluation when a PEP-695 TypeVar is shadowed by an identifier of the same name within an inner scope. This addresses #6900. (#6911)
|
2024-01-04 17:29:42 -07:00 |
|
Eric Traut
|
839414cf51
|
Added code to report when the Concatentate special form is used in an illegal context. This addresses #6898. (#6910)
|
2024-01-04 16:13:37 -07:00 |
|
Eric Traut
|
34fb4bd71e
|
Fixed a bug that led to an incorrect type evaluation for an explicitly-specialized class parameterized with a ParamSpec. This addresses #6899. (#6909)
|
2024-01-04 15:42:32 -07:00 |
|
Eric Traut
|
677bb1306b
|
Fixed false negative for a TypeVarTuple constructor call that includes value constraints. This addresses #6901.
|
2024-01-04 14:58:22 -07:00 |
|
Rich Chiodo
|
38b51fa735
|
Potential fix for config options crash (#6889)
* Potential fix for config options crash
* Fix problem with json stringifying a map
|
2024-01-03 10:15:56 -08:00 |
|
Eric Traut
|
bd137351ca
|
Deleted incorrect comments from test case (a result of copy-and-paste from another test). No functional change.
|
2024-01-02 15:29:32 -07:00 |
|
Rich Chiodo
|
b914296752
|
Make sure web uris aren't read from disk (#6884)
|
2024-01-02 12:48:08 -08:00 |
|
Eric Traut
|
8f02660e2d
|
Improved error reporting for incompatible overrides.
|
2024-01-01 14:39:17 -07:00 |
|
Eric Traut
|
ab2d3eb303
|
Improved error message for protocol classes that derive from non-protocol classes.
|
2024-01-01 14:32:21 -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
|
916ef9cdf5
|
Merge branch 'sortDiags' into main
|
2023-12-30 18:34:08 -07:00 |
|
Eric Traut
|
2342025312
|
Added a missing error condition for a non-method function that is marked @final . This addresses #6861.
|
2023-12-30 18:33:28 -07:00 |
|
Eric Traut
|
628c170d86
|
Fixed bug that led to false negative when a list expression was used within the first type argument of an Annotated type expression. This addresses #6863.
|
2023-12-30 18:24:14 -07:00 |
|
Eric Traut
|
68c1a71e45
|
Changed CLI to sort diagnostics by location within a file. (#6862)
|
2023-12-30 01:24:08 -07:00 |
|
Eric Traut
|
a807c07632
|
Changed CLI to sort diagnostics by location within a file.
|
2023-12-30 01:15:25 -07:00 |
|
Eric Traut
|
686e2f6cef
|
Published 1.1.344
|
2023-12-29 17:57:47 -07:00 |
|
Eric Traut
|
8c178ce306
|
Fixed bug in code flow analysis that resulted in an incorrect type evaluation when a "NoReturn" call is made within a code block protected by an exception-suppressing context manager. This addresses #6850. (#6859)
|
2023-12-29 17:45:27 -07:00 |
|
Eric Traut
|
76b2e6966f
|
Improved overload overlap logic to detect partial overlaps when parameter types include unions that intersect. This addresses #6825. (#6856)
|
2023-12-29 15:28:51 -07:00 |
|
Eric Traut
|
e4dd42e2b1
|
Fixed a bug that leads to a false negative when validating type compatibility between two callables and the source has a position-only parameter corresponding to a non-position-only parameter in the dest. This addresses #6833. (#6854)
|
2023-12-29 13:51:40 -07:00 |
|
Eric Traut
|
064a5a50f3
|
Fixed a bug that results in a false negative when the TypeAliasType constructor is called with an expression that refers to a traditional TypeVar. This addresses #6835.
|
2023-12-29 12:53:25 -07:00 |
|