Commit Graph

  • da8c873825
    Merge ee32f91a54 into 4c001a139c Eric Traut 2024-07-06 16:10:47 -0700
  • 4c001a139c
    Improved type narrowing in the fall-through case for sequence patterns when the pattern includes a star pattern and the subject type is a tuple with an indeterminate entry. (#8323) main Eric Traut 2024-07-06 14:44:46 -0700
  • ef09244138 Improved type narrowing in the fall-through case for sequence patterns when the pattern includes a star pattern and the subject type is a tuple with an indeterminate entry. Eric Traut 2024-07-06 14:36:09 -0700
  • 267fbecb19
    Merge ba50f35bb1 into 228bd84c54 Bill Schnurr 2024-07-06 14:06:03 -0700
  • 228bd84c54 Fixed bug that results in false negative when a list or set expression includes more than 64 elements and is being evaluated with a bidirectional inference context. This addresses #8314. Eric Traut 2024-07-06 11:51:09 -0700
  • 1c85d650ae
    Fixed bug that results in a false positive error when using a TypeVar with an upper bound of type as a base class in a class statement. This addresses #8313. (#8321) Eric Traut 2024-07-06 11:47:37 -0700
  • 789241669f Fixed bug that results in a false positive error when using a TypeVar with an upper bound of type as a base class in a class statement. This addresses #8313. issue8313-2 Eric Traut 2024-07-06 11:20:10 -0700
  • 99785ed1f9 Fixed bug that results in a false positive error when using a TypeVar with an upper bound of type as a base class in a class statement. This addresses #8313. Eric Traut 2024-07-06 11:20:10 -0700
  • 3ddf0ad705
    Improved detection of the use of variables used in type annotations. These are illegal according to the typing spec. (#8318) Eric Traut 2024-07-06 10:18:21 -0700
  • e139f1c4ae Improved detection of the use of variables used in type annotations. These are illegal according to the typing spec. This addresses #8316. Eric Traut 2024-07-06 09:06:58 -0700
  • f15f028d53 Improved detection of the use of variables used in type annotations. These are illegal according to the typing spec. This addresses #8316. Eric Traut 2024-07-06 09:06:58 -0700
  • 4f8e681a8a Improved detection of the use of variables used in type annotations. These are illegal according to the typing spec. Eric Traut 2024-07-06 09:06:58 -0700
  • ee32f91a54 Merge branch 'main' into StrNotSequence1 StrNotSequence1 Eric Traut 2024-07-05 12:32:30 -0700
  • 598119b90f Fixed bug that results in a false positive error when an unpack operator is used in an unparenthesized tuple expression on the RHS of an augmented assignment operator on Python 3.9 and newer. This addresses #8310. Eric Traut 2024-07-05 09:27:25 -0700
  • 8a23d8f596 Fixed bug that results in --outputjson command-line option being incompatible with --threads command-line option. Eric Traut 2024-07-05 09:10:49 -0700
  • 057b351efa
    Added support for multithreaded type checking in CLI. (#8309) Eric Traut 2024-07-04 20:52:37 -0700
  • e5a66e90c4 Added support for multithreaded type checking in CLI. Eric Traut 2024-07-04 17:55:59 -0700
  • 746749272c Exposed maxSourceFileSize from sourceFile module. Eric Traut 2024-07-04 17:54:51 -0700
  • 4fd12df54a Added functions for converting diagnostics to/from a form that is compatible with JSON serialization. Eric Traut 2024-07-04 17:54:15 -0700
  • 6da4d966a7
    Merge 7f31936781 into 4df7ba72a0 Eric Traut 2024-07-04 08:05:31 +0800
  • 4df7ba72a0 Revert "Improved the internal name given to a class that is created through the explicit instantiation of a metaclass." Eric Traut 2024-07-03 14:48:48 -0700
  • 8792e4e493 Improved the internal name given to a class that is created through the explicit instantiation of a metaclass. Eric Traut 2024-07-03 14:47:04 -0700
  • 8ed6c10486
    Changed the hard-coded type of the __class__ symbol to be Self@T rather than T (where T is the enclosing class). This addresses #8305. (#8307) Eric Traut 2024-07-03 14:45:58 -0700
  • baeae0dbc3 Changed the hard-coded type of the __class__ symbol to be Self@T rather than T (where T is the enclosing class). This addresses #8305. Eric Traut 2024-07-03 14:26:11 -0700
  • d7c5d0691a
    Fixed regression that results in a false positive when a traditional type alias (not using PEP 695 syntax) defines a union and is then used as a second argument to an isinstance or issubclass call. This addresses #8302. (#8303) Eric Traut 2024-07-03 12:27:02 -0700
  • 51e575941f Fixed regression that results in a false positive when a traditional type alias (not using PEP 695 syntax) defines a union and is then used as a second argument to an isinstance or issubclass call. This addresses #8302. Eric Traut 2024-07-03 12:06:10 -0700
  • 93ac52f0b2 Published 1.1.370 1.1.370 Eric Traut 2024-07-02 16:45:35 -0700
  • 0591abaae8 Fixed bug that results in a false positive reportUntypedFunctionDecorator error under certain circumstances. This addresses #8298. Eric Traut 2024-07-02 16:40:34 -0700
  • 8a766d59a4
    Fixed bug that results in a false negative when passing an extra keyword argument to a callable that is parameterized with a ParamSpec. This addresses #8294. (#8299) Eric Traut 2024-07-02 16:35:08 -0700
  • 81d6fca76b Fixed bug that results in a false negative when passing an extra keyword argument to a callable that is parameterized with a ParamSpec. This addresses #8294. Eric Traut 2024-07-02 16:23:37 -0700
  • 280ed52e8c Shortened names of EvalFlags to improve readability. No functional change. Eric Traut 2024-07-02 13:38:58 -0700
  • 33a72e3d6a
    Improved handling of special forms, including TypeAliasType instances, when used in value expressions. This addresses #8185. (#8296) Eric Traut 2024-07-02 13:30:36 -0700
  • be2e8fe04a Improved handling of special forms, including TypeAliasType instances, when used in value expressions. This addresses #8185. Eric Traut 2024-07-02 08:51:27 -0700
  • 84a5340ffc Fix severity overrides being skipped when there's a pyrightconfig.json Rich Chiodo false 2024-07-02 13:05:23 -0700
  • ba50f35bb1
    Merge branch 'main' into add-azure-devops-release Bill Schnurr 2024-07-02 11:56:06 -0700
  • 619c819990 fix prettier bschnurr 2024-07-02 11:47:27 -0700
  • 6b869321e0 More bug fixes Eric Traut 2024-07-02 10:47:57 -0700
  • 0a3706045f inital pyright azure devops release pipeline bschnurr 2024-07-02 10:38:47 -0700
  • a3aceec7a9 Fixed some regressions caught by mypy_primer. Eric Traut 2024-07-02 10:37:00 -0700
  • 08476f4324 Improved handling of special forms, including TypeAliasType instances, when used in value expressions. This addresses #8185. Eric Traut 2024-07-02 08:51:27 -0700
  • f6c9ca9feb Renamed evaluation flag for clarify and consistency. No functional change. Eric Traut 2024-07-02 08:47:10 -0700
  • 2947be68bf Did more code cleanup in the assignment statement evaluation code path. Eric Traut 2024-07-01 20:50:20 -0700
  • 3da465b321 Reduced duplicated code in type alias code paths. No functional change. Eric Traut 2024-07-01 20:28:01 -0700
  • 051de64c25 Added optimization for assignment statements of the form a, b = c, d. These create false dependencies between variables which can affect convergence of types during code flow analysis. In the common case, we can sever these false dependencies and evaluate only the dependent portion of the RHS. Eric Traut 2024-07-01 14:05:14 -0700
  • 139d095cd6
    Implemented small optimization in the protocol matching cache. (#8288) Eric Traut 2024-07-01 10:47:36 -0700
  • e86729faa6 Implemented small optimization in the protocol matching cache. Eric Traut 2024-07-01 10:36:19 -0700
  • 21efa0ecf8 Fixed bug that results in the incorrect default value of a variadic type variable when the type argument is not provided. It should default to *tuple[Any, ...], not *tuple[Any]. This addresses #8285. Eric Traut 2024-07-01 08:13:44 -0700
  • f2ca02dcfb Fixed bug that results in the incorrect default value of a variadic type variable when the type argument is not provided. It should default to *tuple[Any, ...], not *tuple[Any]. This addresses #8285. Eric Traut 2024-07-01 07:58:13 -0700
  • 74846de568
    Improved performance of type analysis by caching additional reachability information for code flow graphs. This addresses #8275. (#8281) Eric Traut 2024-06-30 21:13:47 -0700
  • d6821b4cb7 Improved performance of type analysis by caching additional reachability information for code flow graphs. This addresses #8275. Eric Traut 2024-06-30 20:45:14 -0700
  • ae0f6247dc Improved performance of type analysis by caching additional reachability information for code flow graphs. This addresses #8275. Eric Traut 2024-06-30 20:45:14 -0700
  • 8a9ba9b77b Fixed bug that resulted in a false positive error when an abstract class is used for a NewType and the new type is constructed. This addresses #8256. Eric Traut 2024-06-30 19:48:08 -0700
  • 353a17cdec
    Improved analysis performance for complex code flow graphs by adding a cache for reachability. This addresses #8276. (#8278) Eric Traut 2024-06-30 17:17:38 -0700
  • 4980567942
    Reformatted Python test samples using the latest version of ruff. (#8277) Eric Traut 2024-06-30 17:07:20 -0700
  • 96d1fd69d7 Improved analysis performance for complex code flow graphs by adding a cache for reachability. This addresses #8276. Eric Traut 2024-06-30 16:58:01 -0700
  • 74ecd4a888 Reformatted Python test samples using the latest version of ruff. Eric Traut 2024-06-30 16:07:35 -0700
  • 17d9f61ccd Added additional paralellization for mypy_primer (from 2 to 8 shards) to reduce feedback time on PRs. Eric Traut 2024-06-30 16:01:36 -0700
  • 3e70e7a8f9 Renamed internal function for clarity. No functional change. Eric Traut 2024-06-30 05:49:24 -0700
  • d55be983e5 Fixed a bug in the type narrowing for the "x is <class>" type guard pattern when <class> is a specific class T, as opposed to a variable of type type[T]. This addresses #8264. Eric Traut 2024-06-29 11:04:30 -0700
  • fa0f6b7349 Small code cleanup. No functional change. Eric Traut 2024-06-29 06:50:29 -0700
  • 1ce1b5b323 Fixed a bug in the type narrowing for the "x is <class>" type guard pattern when <class> is a specific class T, as opposed to a variable of type type[T]. This addresses #8264. Eric Traut 2024-06-29 11:04:30 -0700
  • b15a92738e Small code cleanup. No functional change. Eric Traut 2024-06-29 06:50:29 -0700
  • 16f398976a
    pull-pylance-with-pyright-1.1.369-9716881771 (#8261) PylanceBot 2024-06-28 17:41:06 -0700
  • 9813f9e984
    Merge branch 'main' into pull-pylance-with-pyright-1.1.369-9716881771 pull-pylance-with-pyright-1.1.369-9716881771 Rich Chiodo 2024-06-28 17:00:10 -0700
  • bee1d912fd Fixed bug that results in a spurious error when evaluating a quoted (forward reference) type expression that includes an index expression within a TypeAlias definition. This addresses https://github.com/microsoft/pylance-release/issues/6072. Eric Traut 2024-06-28 15:15:20 -0700
  • 1fde529ada pull-pylance-with-pyright-1.1.369-9716881771 GitHub Actions 2024-06-28 18:13:36 +0000
  • 02b9613970 Explore the removal of Sequence[str] as a base class to str. Eric Traut 2024-06-28 10:30:19 -0700
  • 3c70b4e0d1
    Fixed bug that results in incorrect type evaluation of a function that accepts a Callable[P, T] and is passed a class object whose constructor needs to be converted to a callable. This addresses #8170. (#8258) Eric Traut 2024-06-28 10:19:57 -0700
  • 48a80ce4ae Fixed bug that results in incorrect type evaluation of a function that accepts a Callable[P, T] and is passed a class object whose constructor needs to be converted to a callable. This addresses #8170. Eric Traut 2024-06-28 10:02:31 -0700
  • 5d5fe5d15c
    fix pylance issue 6052 (#8253) Kacie Kang 2024-06-27 16:22:49 -0700
  • 930c4d26fa fix pylance issue 6052 Kacie Kang 2024-06-27 14:21:27 -0700
  • 8f8f5b163d
    Fixed recent regression that results in false positive when a inner function with an inferred return type is a coroutine (async) and is referenced within the function body in which it's declared. This addresses #8232 and #8229. (#8251) Eric Traut 2024-06-27 13:16:23 -0700
  • 5e7a12f3a8 Fixed recent regression that results in false positive when a inner function with an inferred return type is a coroutine (async) and is referenced within the function body in which it's declared. This addresses #8232 and #8229. Eric Traut 2024-06-27 13:08:36 -0700
  • f104e7bb30
    Fixed bug that results in false positive reportInconsistentOverload and reportNoOverloadImplementation errors when an overloaded decorator is applied to a non-overloaded function or method. This addresses #8246. (#8249) Eric Traut 2024-06-27 05:35:50 -0700
  • a783be7a0b Fixed bug that results in false positive reportInconsistentOverload and reportNoOverloadImplementation errors when an overloaded decorator is applied to a non-overloaded function or method. This addresses #8246. Eric Traut 2024-06-27 05:23:12 -0700
  • 1e1e912380 Fixed bug that results in a false positive when a protocol includes a method implementation that conditionally raises NotImplementedError. This addresses #8245. Eric Traut 2024-06-27 04:30:13 -0700
  • 337ef2fa00 Fixed recent regression that results in an assertion failure (and therefore a crash) when type() is called with dynamic base classes. This addresses #8228. Eric Traut 2024-06-26 16:51:15 -0700
  • bdb8eba712 Updated typeshed stubs to the latest version. Eric Traut 2024-06-26 16:30:53 -0700
  • 05726120ad
    Fixed bug that results in incorrect type isinstance or issubclass type narrowing when using a type variable with an upper bound that includes a promotion type. This addresses #8238. (#8243) Eric Traut 2024-06-26 16:30:26 -0700
  • b4ea6d01fd Fixed bug that results in incorrect type isinstance or issubclass type narrowing when using a type variable with an upper bound that includes a promotion type. This addresses #8238. Eric Traut 2024-06-26 16:21:45 -0700
  • 427ca1143e Fixed bug that resulted in a false negative when assigning to type tuple[Never]. This addresses #8237. Eric Traut 2024-06-26 15:01:45 -0700
  • b5d4d92f0a
    add an azure devops build (#8200) Bill Schnurr 2024-06-25 11:39:05 -0700
  • 7ff7018d31
    Merge branch 'main' into add-azure-devops-build Bill Schnurr 2024-06-25 10:48:47 -0700
  • 8a13da38ff moving azure build under azuredevops folder bschnurr 2024-06-25 10:44:55 -0700
  • 1168be715e
    pull-pylance-with-pyright-1.1.369-9665934702 (#8225) PylanceBot 2024-06-25 10:09:34 -0700
  • 2766a4a3b9 pull-pylance-with-pyright-1.1.369-9665934702 pull-pylance-with-pyright-1.1.369-9665934702 GitHub Actions 2024-06-25 16:14:16 +0000
  • a5cbd4725a Published 1.1.369 1.1.369 Eric Traut 2024-06-25 18:02:18 +0200
  • 24f64f7d26 Fixed bug that results in incorrect type narrowing in the negative (fall-through) case of a match expression when the subject expression is an unbounded tuple. This addresses #8219. Eric Traut 2024-06-25 13:56:02 +0200
  • 2672441c22 Fixed bug that leads to a spurious "unbound variable" diagnostic when a variable is assigned a value using a walrus operator and is later used in a ** call argument. This addresses #8218. Eric Traut 2024-06-25 13:28:04 +0200
  • bc1fc9f22b Added support for walrus (assignment) operator within set literal expressions if the python version is >= 3.10. The grammar was changed in 3.10 to support this. This addresses #8216. Eric Traut 2024-06-24 23:56:08 +0200
  • 3a263135ab
    Fixed bug that incorrectly evaluates a constructor call to a constructor that infers a class-scoped ParamSpec when the passed function is generic. This addresses #8170. (#8215) Eric Traut 2024-06-24 22:04:09 +0200
  • 5b84ef25ce Fixed bug that incorrectly evaluates a constructor call to a constructor that infers a class-scoped ParamSpec when the passed function is generic. This addresses #8170. Eric Traut 2024-06-24 21:56:10 +0200
  • 6ffb60bd53
    Fixed bug that results in a false positive error when using a callback protocol with a function-scoped type variable. This addresses #8177. (#8207) Eric Traut 2024-06-23 14:57:32 +0200
  • d2a05dc988 Fixed bug that results in a false positive error when using a callback protocol with a function-scoped type variable. This addresses #8177. Eric Traut 2024-06-23 09:01:43 +0200
  • ee12ebcccf Improved reportUninitializedInstanceVariable check to handle dataclass variables that are initialized implicitly by the synthesized __init__ method. Eric Traut 2024-06-22 21:44:36 +0200
  • 3e6661a315
    Fix binary search in findNodeByOffset to match linear search result (#8143) Erik De Bonte 2024-06-22 09:10:06 -0700
  • 8d3585089d
    Merge branch 'main' into pylance5775 Erik De Bonte 2024-06-22 08:52:51 -0700
  • cfeed20baf
    Bump braces from 3.0.2 to 3.0.3 (#8204) dependabot[bot] 2024-06-22 15:24:27 +0200
  • 07521910b1
    Bump braces from 3.0.2 to 3.0.3 dependabot[bot] 2024-06-22 13:05:45 +0000
  • 0c4c9ab592
    fix: usage of deprecated version of Node.js (#8201) Hamir Mahal 2024-06-22 06:05:06 -0700