Commit Graph

  • a029774b99 Added extra blank line to JSON output to assist with parsing when used in watch mode. This addresses #8082. Eric Traut 2024-06-06 08:49:04 -0700
  • 16ea2a80c5 Added check for except* to enforce that exception class does not derive from BaseExceptionGroup. Eric Traut 2024-06-05 22:57:21 -0700
  • 2ade792ba8 Did a small cleanup pass on the implementation of PEP 746. Eric Traut 2024-06-05 21:00:48 -0700
  • ac7f6b7f74 Implemented provisional support for PEP 746, which provides consistency checks for metadata used in an Annotated annotation. Eric Traut 2024-06-05 20:24:36 -0700
  • 7c5495c1b4 Renamed some internal functions and constants for consistency and clarity. Eric Traut 2024-06-05 18:41:08 -0700
  • e2adef6b88 Updated typeshed stubs to the latest version. This addresses #8079. Eric Traut 2024-06-05 18:13:08 -0700
  • de8e9939d2
    Simplified logic and data structures for functions with parameter specs. (#8080) Eric Traut 2024-06-05 17:11:42 -0700
  • 9ef10145ab Simplified logic and data structures for functions with parameter specs. Eric Traut 2024-06-05 13:40:01 -0700
  • d8bcb1458e Simplified logic and data structures for functions with parameter specs. Eric Traut 2024-06-05 13:40:01 -0700
  • f3e7e0f645 Simplified logic and data structures for functions with parameter specs. Eric Traut 2024-06-05 13:40:01 -0700
  • 5439e73ac3
    Merge branch 'main' into paramSpecSimplification Eric Traut 2024-06-05 14:20:51 -0700
  • 27c3c32f35 Simplified logic and data structures for functions with parameter specs. Eric Traut 2024-06-05 13:40:01 -0700
  • 5551c4ac4e
    pull-pylance-with-pyright-1.1.366-9378053462 (#8072) PylanceBot 2024-06-05 10:05:53 -0700
  • e4df20ce28
    Merge branch 'main' into pull-pylance-with-pyright-1.1.366-9378053462 Rich Chiodo 2024-06-05 09:56:24 -0700
  • 8fa827608d Fixed bug that results in incorrect truthy/falsy type narrowing for an enum that overrides __bool__. This addresses #8074. Eric Traut 2024-06-05 08:56:31 -0700
  • e5b56e5347 pull-pylance-with-pyright-1.1.366-9378053462 GitHub Actions 2024-06-05 04:14:01 +0000
  • cff7779bdb Published 1.1.366 1.1.366 Eric Traut 2024-06-04 21:05:01 -0700
  • e90e041380
    Added diagnostic check for an enum member with a type annotation. The typing spec says that this should be considered a typing error. This addresses #8060. (#8069) Eric Traut 2024-06-04 11:11:06 -0700
  • e076d76c12 Added diagnostic check for an enum member with a type annotation. The typing spec says that this should be considered a typing error. This addresses #8060. Eric Traut 2024-06-04 11:03:07 -0700
  • 58094a5c4e
    Changed behavior of pyright to match the latest typing spec when it encounters an attribute with a type annotation within an Enum class body in a stub. These are now treated as non-member attributes rather than members. Typeshed stubs have been updated to conform to the new standard. This addresses #8061. (#8063) Eric Traut 2024-06-03 17:24:07 -0700
  • 46eba6ab41
    Fixed bug in x is E type narrowing pattern where E is an enum literal and x is a supertype of E like object. This addresses #8059. (#8062) Eric Traut 2024-06-03 17:08:32 -0700
  • 7e2f167057 Changed behavior of pyright to match the latest typing spec when it encounters an attribute with a type annotation within an Enum class body in a stub. These are now treated as non-member attributes rather than members. Typeshed stubs have been updated to conform to the new standard. This addresses #8061. Eric Traut 2024-06-03 17:07:21 -0700
  • c8f6b59eb2 Fixed bug in x is E type narrowing pattern where E is an enum literal and x is a supertype of E like object. This addresses #8059. Eric Traut 2024-06-03 17:00:45 -0700
  • 14a7622300 Fixed several misspellings in the code base. No functional change. Eric Traut 2024-06-03 13:34:37 -0700
  • 31dcda3c17
    Fixed a typo in typeEvaluator.ts Victorien 2024-06-03 22:11:16 +0200
  • e3ce2c8033 Updated typeshed stubs to the latest version. Eric Traut 2024-06-03 11:59:39 -0700
  • 67fd972213
    Issue8054 (#8055) Eric Traut 2024-06-03 11:24:06 -0700
  • 190ddc0823
    Merge branch 'main' into issue8054 Eric Traut 2024-06-03 11:14:27 -0700
  • 4cdf17debf Fixed a bug that can result in incorrect type inference for a subexpression that is part of an assignment expression if executed with an inference context (bidirectional type inference). This addresses #8054. Eric Traut 2024-06-03 11:10:56 -0700
  • 5ac25c8256
    Fixed bug that results in a false negative when solving a type variable that involves an invariant context. (#8051) Eric Traut 2024-06-02 22:37:52 -0700
  • 9a86f1f7ed Fixed bug that results in a false negative when solving a type variable that involves an invariant context. Eric Traut 2024-06-02 22:25:57 -0700
  • e4226ffea9 Revert "Simplified code in the typeVarContext module." Eric Traut 2024-06-02 22:04:29 -0700
  • ac7f66131a Revert "Restructure code in constraint solver. No functional change." Eric Traut 2024-06-02 22:04:17 -0700
  • 6609e93ee6 Restructure code in constraint solver. No functional change. Eric Traut 2024-06-02 21:25:55 -0700
  • a572c05b26 Simplified code in the typeVarContext module. Eric Traut 2024-06-02 19:31:54 -0700
  • 1611939add Simplified code in the typeVarContext module. Eric Traut 2024-06-02 19:31:54 -0700
  • 409df8ff72
    Fixed bug that results in false positive when evaluating the call to a generic function that involves a type variable used in both a covariant and contravariant (or invariant) position and both literal and non-literal types are involved. This addresses part of #6207. (#8049) Eric Traut 2024-06-02 14:19:13 -0700
  • b212475e18 Fixed bug that results in false positive when evaluating the call to a generic function that involves a type variable used in both a covariant and contravariant (or invariant) position and both literal and non-literal types are involved. This addresses part of #6207. Eric Traut 2024-06-02 14:11:34 -0700
  • ecc4ebb12a Fixed bug that results in a confusing error message when stub generation fails. This addresses #8044. Eric Traut 2024-06-01 11:29:00 -0700
  • c7fbc82337 Reversed the change for #8035. Tuple expressions used in generators will not retain literal types. Eric Traut 2024-05-31 20:45:50 -0700
  • d5b6abad59
    Fix typo in type-stubs.md (#8037) JR Heard 2024-05-31 20:00:30 -0700
  • 2adcf7c68b
    Merge branch 'main' into patch-2 JR Heard 2024-05-31 20:00:06 -0700
  • 5dba796e16 Minor code cleanup in program module. Eric Traut 2024-05-31 19:57:59 -0700
  • 7c17c966d0
    Fix typo in type-stubs.md JR Heard 2024-05-31 19:57:54 -0700
  • 8a2857876b Renamed references to "list comprehension" to "comprehension" in various places for clarity. Comprehensions can be used in lists, dicts, sets or none of the above (in which case it's interpreted as a generator). Eric Traut 2024-05-31 17:57:40 -0700
  • 03ddb0917b
    Changed the tuple inference behavior to retain literals (as it did prior to 1.1.365) when a tuple expression is used within a generator expression. This addresses #8035. (#8036) Eric Traut 2024-05-31 17:37:06 -0700
  • 4ba5d5c049 Changed the tuple inference behavior to retain literals (as it did prior to 1.1.365) when a tuple expression is used within a generator expression. This addresses #8035. Eric Traut 2024-05-31 17:29:36 -0700
  • e69974cee0 Fixed bug that results in a false positive error under certain circumstances involving a call to a higher-order generic function with another function that involves a class with a contravariant type variable. This addresses #7212. Eric Traut 2024-05-31 13:44:51 -0700
  • 34bdefae7f Add the remaining builtin comparison methods AmirHossein 2024-05-31 20:13:00 +0330
  • 0e42a7ea56 Removed support for inlined TypedDict annotations. This idea never gained enough support to make it into a PEP. Eric Traut 2024-05-30 18:16:13 -0700
  • 1bc5949959 Added comments for experimental features. Eric Traut 2024-05-30 18:14:47 -0700
  • 181382d6a1 More cleanup of prefetched types. Eric Traut 2024-05-30 18:08:46 -0700
  • ce229098e6 Code cleanup for prefetched types used in type evaluator. Eric Traut 2024-05-30 17:41:39 -0700
  • 32fa85e3ed
    Changed behavior of constructor call evaluation when __new__ evaluation results in type evaluation errors. Previously, pyright skipped the __init__ evaluation in this case. It now proceeds to evaluate __init__, potentially generating redundant errors. This addresses #8026. (#8029) Eric Traut 2024-05-30 12:49:11 -0700
  • 5b9d28c757 Changed behavior of constructor call evaluation when __new__ evaluation results in type evaluation errors. Previously, pyright skipped the __init__ evaluation in this case. It now proceeds to evaluate __init__, potentially generating redundant errors. This addresses #8026. Eric Traut 2024-05-30 10:45:45 -0700
  • f459e8c256 Changed behavior of constructor call evaluation when __new__ evaluation results in type evaluation errors. Previously, pyright skipped the __init__ evaluation in this case. It now proceeds to evaluate __init__, potentially generating redundant errors. This addresses #8026. Eric Traut 2024-05-30 10:45:45 -0700
  • 7f31936781 Added logic to expand promotion types for float and complex when these types are used in a member access expression (i.e. the LHS of a "dot" operator). Eric Traut 2024-05-29 17:40:49 -0700
  • 2f4a8a9922 Fixed broken test case. Eric Traut 2024-05-29 18:26:15 -0700
  • 7719595e2d Added logic to expand promotion types for float and complex when these types are used in a member access expression (i.e. the LHS of a "dot" operator). Eric Traut 2024-05-29 17:40:49 -0700
  • 3a59f300f1 Added logic to expand promotion types for float and complex when these types are used in a member access expression (i.e. the LHS of a "dot" operator). Eric Traut 2024-05-29 17:40:49 -0700
  • 2e397e9a0a
    [PylanceBot] Pull Pylance with Pyright 1.1.365 (#8016) PylanceBot 2024-05-29 09:49:41 -0700
  • 9762a1e821
    Update package.nls.ko.json typo Rich Chiodo 2024-05-29 09:26:23 -0700
  • f7fa3e069d pull-pylance-with-pyright-1.1.365-9280185292 GitHub Actions 2024-05-29 04:21:52 +0000
  • 66101ee0c5 Published 1.1.365 1.1.365 Eric Traut 2024-05-28 21:12:35 -0700
  • ece525e960
    Fixed bug that results in a false negative when a Final class variable is assigned a value in the class body and reassigned a value in the __init__ method. This addresses #8013. (#8015) Eric Traut 2024-05-28 20:42:09 -0700
  • 1d0157fb8b Fixed bug that results in a false negative when a Final class variable is assigned a value in the class body and reassigned a value in the __init__ method. This addresses #8013. Eric Traut 2024-05-28 20:15:01 -0700
  • 59eabcb60f
    Fixed bug that leads to inconsistent narrowing-on-assignment behavior when a tuple instance with unknown type arguments is assigned to a target symbol with a declared tuple type. This addresses #8001. (#8005) Eric Traut 2024-05-26 23:42:37 -0700
  • d908e78baf Fixed bug that leads to inconsistent narrowing-on-assignment behavior when a tuple instance with unknown type arguments is assigned to a target symbol with a declared tuple type. This addresses #8001. Eric Traut 2024-05-26 23:20:45 -0700
  • a4d165ec02 Fixed regular expression for # type: ignore and # pyright: ignore comments. This addresses #8000. Eric Traut 2024-05-25 09:30:05 -0700
  • c1b5bccca0 Did some internal refactoring in preparation for implementation of new functionality. No functional change. Eric Traut 2024-05-25 00:33:38 -0700
  • 1bba737d93
    Fixed a bug that results in an unsolved TypeVar when calling list(tuple()). This addresses #7998. (#7999) Eric Traut 2024-05-25 00:25:05 -0700
  • a48c000f37 Fixed a bug that results in an unsolved TypeVar when calling list(tuple()). This addresses #7998. Eric Traut 2024-05-25 00:06:14 -0700
  • 1466ccb653 Fixed issue with chained config files related to typeCheckingMode. Eric Traut 2024-05-24 18:01:20 -0700
  • 421dabee57
    Added support for configuration inheritance through an "extends" configuration option. This addresses #4366. (#7997) Eric Traut 2024-05-24 17:22:12 -0700
  • 66cc570df6 Added support for configuration inheritance through an "extends" configuration option. This addresses #4366. Eric Traut 2024-05-24 16:54:36 -0700
  • 0a83d6459c
    Fixed a bug that results in incorrect type compatibility checks for a… (#7994) Eric Traut 2024-05-24 13:19:16 -0700
  • 01cba4b5c5 Improved diagnostic messages for parameter mismatch. Eric Traut 2024-05-24 13:10:21 -0700
  • 5c114a75b3 Fixed a bug that results in incorrect type compatibility checks for a callable that uses *args: *tuple[T, *tuple[S, ...]]. This addresses #7987. Eric Traut 2024-05-24 12:46:33 -0700
  • af916c6644 First step in improving code for parameter matching for callable assignments. This step involves simple renaming. No functional change. Eric Traut 2024-05-24 10:10:16 -0700
  • a1ac859982 Small cleanup in callback protocol test. Eric Traut 2024-05-24 10:09:14 -0700
  • 59b8963684 Attempted to clarify meaning of "include" and "exclude" in documentation. Eric Traut 2024-05-23 16:27:39 -0700
  • aed4c75980 Fixed regression that results in the incorrect type evaluation for the value attribute of a StrEnum or IntEnum class. This addresses #7983. Eric Traut 2024-05-23 09:18:17 -0700
  • bfc60526a0
    Use typeshed version info for stdlib module list (#7982) Ujan RoyBandyopadhyay 2024-05-23 11:04:55 -0500
  • 39ef8ef171
    123 docong2 2024-05-23 20:59:26 +0700
  • cc4a66720c
    Use typeshed version info for stdlib module list Ujan RoyBandyopadhyay 2024-05-22 23:23:55 -0500
  • cebfe2aa9b
    123 docong2 2024-05-23 10:11:03 +0700
  • 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) Eric Traut 2024-05-22 16:10:05 -0700
  • cb52ed2da0
    Merge branch 'main' into issue7159 Eric Traut 2024-05-22 16:08:06 -0700
  • 0618acc535
    pylance-22-5-2024 -> pyright (#7980) Bill Schnurr 2024-05-22 15:34:30 -0700
  • 3cee07264a revert stub change bschnurr 2024-05-22 15:15:50 -0700
  • e0d782ee2e pullpylance-22-5-2024 bschnurr 2024-05-22 14:38:03 -0700
  • 766a012627
    Update GitHub Actions from "actions" org & update mypy_primer for changed upload-artifacts behaviour (#7978) Raphael Boidol 2024-05-22 21:31:23 +0200
  • 73d539c7db
    Update actions/upload-artifact & actions/download-artifact includign migrations Raphael Boidol 2024-05-22 18:13:15 +0200
  • f4cf9868e3
    Update actions/checkout, actions/setup-node, actions/setup-python, actions/github-script Raphael Boidol 2024-05-22 18:12:31 +0200
  • d666701a87 Removed unnecessary code. Eric Traut 2024-05-21 20:02:07 -0700
  • a18387f1c4 Published 1.1.364 1.1.364 Eric Traut 2024-05-21 19:04:30 -0700
  • 4ab8a98861 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. Eric Traut 2024-05-21 16:52:18 -0700
  • 4a8b2dbbdd Removed unused import in test. Eric Traut 2024-05-21 16:45:54 -0700
  • b93dc627fc Added small memory and performance optimization. Eric Traut 2024-05-21 13:00:33 -0700
  • be320a8b08
    Added support for using Literal and various other special forms in a value expression. This addresses #7547. (#7969) Eric Traut 2024-05-21 12:20:01 -0700