Commit Graph

  • 92894d3712 reuse self source_order Douglas Creager 2025-12-14 21:49:50 -05:00
  • 5a8a9500b9 sort specialize_constrained by source_order Douglas Creager 2025-12-14 19:38:07 -05:00
  • 49ca97a20e lots of renaming Douglas Creager 2025-12-14 19:01:44 -05:00
  • d223f64af1 remove source_order_for Douglas Creager 2025-12-14 18:56:22 -05:00
  • a4a3aff8d6 simpler source_order_for Douglas Creager 2025-12-14 18:47:45 -05:00
  • 04f9949711 [ty] Emit diagnostic when a type variable with a default is followed by one without a default (#21787) Bhuminjay Soni 2025-12-15 01:05:37 +05:30
  • bdaf8e5812 doc Douglas Creager 2025-12-14 13:17:41 -05:00
  • e583cb7682 restore TODOs Douglas Creager 2025-12-14 13:11:31 -05:00
  • 86271d605d codex 2 Douglas Creager 2025-12-14 13:10:51 -05:00
  • 8655598901 codex attempt 1 Douglas Creager 2025-12-14 12:56:21 -05:00
  • 074904f90d [ty] Fix panic on invalid syntax where we would incorrectly consider overloads in another file as belonging to a function in the file being checked alex/panicky-overloads Alex Waygood 2025-12-14 16:32:48 +00:00
  • 8bc753b842 [ty] Fix callout syntax in configuration mkdocs (#1875) (#21961) Leandro Braga 2025-12-14 06:21:54 -03:00
  • b9ecab1f24 fix py-fuzzer test failure Douglas Creager 2025-12-13 20:21:50 -05:00
  • 3c811c19d4 canonical ordering for constraint set mappings Douglas Creager 2025-12-13 20:05:49 -05:00
  • ddcd76c544 add canonically_ordered Douglas Creager 2025-12-13 20:03:15 -05:00
  • c7eea1f2e3 Update debug_assert which pointed at missing method (#21969) Peter Law 2025-12-13 22:56:59 +00:00
  • be8eb92946 [ty] Add support for __qualname__ and other implicit class attributes (#21966) Charlie Marsh 2025-12-13 17:10:25 -05:00
  • a544c59186 [ty] Emit a diagnostic when frozen dataclass inherits a non-frozen dataclass and the other way around (#21962) Simon Lamon 2025-12-13 21:59:26 +01:00
  • bb464ed924 [ty] Use unqualified names for displays of TypeAliasTypes and unbound ParamSpecs/TypeVars (#21960) Alex Waygood 2025-12-13 20:23:16 +00:00
  • b4887e77ba uniformly weak imports gankra/full-weak Aria Desires 2025-12-13 15:11:31 -05:00
  • 961453f75e fixup alex/submodule-attr-last Aria Desires 2025-11-27 09:45:27 -05:00
  • eea52ea260 cleanup doc Aria Desires 2025-11-27 09:38:39 -05:00
  • 2e4bf8f453 reapply fix Aria Desires 2025-11-26 19:30:39 -05:00
  • eeadf2a556 regression test Aria Desires 2025-11-26 19:29:07 -05:00
  • ea8238d6be all the submodule attributes all the time Alex Waygood 2025-11-24 18:51:49 +00:00
  • e82cb13384 allow from imports in nonglobal scopes to add available submodule attributes Alex Waygood 2025-11-23 22:51:34 +00:00
  • dbe5696f8f more Alex Waygood 2025-11-23 19:17:29 +00:00
  • 83a0e19e13 more Alex Waygood 2025-11-23 17:15:50 +00:00
  • c8c915de00 . Alex Waygood 2025-11-22 23:45:41 +00:00
  • 6d4949bae1 [ty] Add from imports to imported_modules *if* the module being imported is not relative to the current module Alex Waygood 2025-11-22 15:32:06 +00:00
  • 36c623300b tinker with available_submodule_attributes priority.. Alex Waygood 2025-11-22 23:19:13 +00:00
  • f57917becd fix typo in fuzz/README.md (#21963) Alex Waygood 2025-12-13 18:21:46 +00:00
  • 82a7598aa8 [ty] Remove now-unnecessary Divergent check (#21935) David Peter 2025-12-13 16:32:09 +01:00
  • 8871fddaf9 bump expected sympy diagnostics in benchmark Alex Waygood 2025-12-13 15:22:37 +00:00
  • e2ec2bc306 Use datatest for formatter tests (#21933) Micha Reiser 2025-12-13 09:02:22 +01:00
  • 8069064aca Merge remote-tracking branch 'origin/dcreager/callable-return' into dcreager/callable-return Douglas Creager 2025-12-12 22:26:38 -05:00
  • 068eb1f500 add sig todo Douglas Creager 2025-12-12 22:06:15 -05:00
  • e906526578 only when function defs are same Douglas Creager 2025-12-12 22:01:01 -05:00
  • 25a6690cdb add materialization test Douglas Creager 2025-12-12 21:59:44 -05:00
  • 99ec0be478 fix test Douglas Creager 2025-12-12 21:56:52 -05:00
  • c94fbe20a2 Merge remote-tracking branch 'origin/main' into gggg Douglas Creager 2025-12-12 22:21:44 -05:00
  • b413a6dec4 [ty] Allow gradual lower/upper bounds in a constraint set (#21957) Douglas Creager 2025-12-12 22:18:30 -05:00
  • e19c050386 [ty] disallow explicit specialization of type variables themselves (#21938) Shunsuke Shibayama 2025-12-13 08:49:20 +09:00
  • 5a2aba237b [ty] Improve diagnostics for unsupported binary operations and unsupported augmented assignments (#21947) Alex Waygood 2025-12-12 21:53:29 +00:00
  • ca5f099481 [ty] update implicit root docs (#21955) Aria Desires 2025-12-12 16:30:23 -05:00
  • 690310cea3 not needed anymore Douglas Creager 2025-12-12 13:04:33 -05:00
  • e476624ef2 never? Douglas Creager 2025-12-12 13:01:50 -05:00
  • 2fd7a7d944 limit to valid specializations Douglas Creager 2025-12-11 17:02:22 -05:00
  • 2950af4fd9 calculate variance from parameter type Douglas Creager 2025-12-11 16:34:03 -05:00
  • 73acf0a926 whelp those are backwards Douglas Creager 2025-12-12 13:05:25 -05:00
  • a722df6a73 [ty] Enable even more goto-definition on inlay hints (#21950) Alex Waygood 2025-12-12 17:57:38 +00:00
  • dec4154c8a Document known lambda formatting deviations from Black (#21954) Brent Westbrook 2025-12-12 12:57:09 -05:00
  • c85f102e70 no really Douglas Creager 2025-12-12 12:52:46 -05:00
  • 4bcca58c3a add mapping for lower bound too Douglas Creager 2025-12-10 13:08:51 -05:00
  • 69d1bfbebc [ty] fix hover type on named expression target (#21952) Carl Meyer 2025-12-12 09:30:50 -08:00
  • 90b29c9e87 Bump benchmark dependencies (#21951) Micha Reiser 2025-12-12 18:05:57 +01:00
  • 0ebdebddd8 Keep lambda parameters on one line and parenthesize the body if it expands (#21385) Brent Westbrook 2025-12-12 12:02:25 -05:00
  • d5546508cf [ty] Improve resolution of absolute imports in tests (#21817) Aria Desires 2025-12-12 11:59:06 -05:00
  • 3ac58b47bd [ty] Support __all__ += submodule.__all__ Andrew Gallant 2025-12-10 15:51:10 -05:00
  • a2b138e789 [ty] Change frequency of invalid __all__ debug message Andrew Gallant 2025-12-10 14:25:45 -05:00
  • 3420cdda09 [ty] Add truncation policy for displaying overloads on single line dhruv/overload-truncation-policy Dhruv Manilawala 2025-12-12 20:14:59 +05:30
  • ff0ed4e752 [ty] Add KnownUnion::to_type() (#21948) Alex Waygood 2025-12-12 14:06:35 +00:00
  • bc8efa2fd8 [ty] Classify cls as class parameter (#21944) Micha Reiser 2025-12-12 13:54:37 +01:00
  • 4249736d74 [ty] Stabilize rename (#21940) Micha Reiser 2025-12-12 13:52:47 +01:00
  • 0181568fb5 [ty] Ignore __all__ for document and workspace symbol requests Andrew Gallant 2025-12-11 14:40:29 -05:00
  • 8cc7c993de [ty] Attach db to background request handler task (#21941) Micha Reiser 2025-12-12 12:31:13 +01:00
  • 315bf80eed [ty] Fix outdated version in publish diagnostics after didChange (#21943) Micha Reiser 2025-12-12 12:30:56 +01:00
  • 76ffc56e85 [ty] Add basic support for overloads in ParamSpec dhruv/paramspec-overload-1 Dhruv Manilawala 2025-12-12 16:23:48 +05:30
  • 0138cd238a [ty] avoid fixpoint unioning of types containing current-cycle Divergent (#21910) Carl Meyer 2025-12-11 19:52:34 -08:00
  • 5e42926eee [ty] improve bad specialization results & error messages (#21840) Shunsuke Shibayama 2025-12-12 12:21:34 +09:00
  • ddb7645e9d [ty] support NewTypes of float and complex (#21886) Jack O'Connor 2025-12-11 16:43:09 -08:00
  • c6a4e1c8ad bump expected diagnostics for static-frame Carl Meyer 2025-12-11 15:11:42 -08:00
  • f624bfdf63 clean up the diff Douglas Creager 2025-12-11 16:21:30 -05:00
  • 3f63ea4b50 Prepare 0.14.9 release (#21927) 0.14.9 Amethyst Reese 2025-12-11 13:17:52 -08:00
  • bfde3e41a7 update tests Douglas Creager 2025-12-11 16:09:33 -05:00
  • a892be3124 Merge remote-tracking branch 'origin/main' into dcreager/callable-return Douglas Creager 2025-12-11 16:05:24 -05:00
  • c8851ecf70 [ty] Defer all parameter and return type annotations (#21906) Douglas Creager 2025-12-11 15:00:18 -05:00
  • d442433e93 [ty] Fix workspace symbols to return members too (#21926) Micha Reiser 2025-12-11 20:22:21 +01:00
  • c055d665ef Document range suppressions, reorganize suppression docs (#21884) Amethyst Reese 2025-12-11 11:16:36 -08:00
  • 7a578ce833 Ignore ruff:isort like ruff:noqa in new suppressions (#21922) Amethyst Reese 2025-12-11 11:04:28 -08:00
  • 34f7a04ef7 [ty] Handle Definitions in SemanticModel::scope (#21919) Micha Reiser 2025-12-11 19:04:57 +01:00
  • c9fe4e2703 [ty] Attach salsa db when running ide tests for easier debugging (#21917) Micha Reiser 2025-12-11 19:03:52 +01:00
  • fbeeb050af [ty] Don't show hover for expressions with no inferred type (#21924) Micha Reiser 2025-12-11 18:55:32 +01:00
  • 4fdb4e8219 [ty] avoid unions of generic aliases of the same class in fixpoint (#21909) Carl Meyer 2025-12-11 09:53:43 -08:00
  • c548ef2027 [ty] Squash false positive logs for failing to find builtins as a real module Andrew Gallant 2025-12-11 11:25:37 -05:00
  • cc850ec348 Add box to stmt charlie/box-stmt Charlie Marsh 2025-12-11 11:24:31 -05:00
  • 0469eeb357 [ty] Handle overloads in rename micha/rename-overload Micha Reiser 2025-12-11 10:59:59 +01:00
  • 531ca7e47a improve generic call inference performance ibraheem/bidi-subtyping Ibraheem Ahmed 2025-12-11 10:15:03 -05:00
  • 5a9d6a91ea [ty] Uniformly use "not supported" in diagnostics (#21916) Luca Chiodini 2025-12-11 16:03:55 +01:00
  • c9155d5e72 [ty] Reduce size of ty-ide snapshots (#21915) Micha Reiser 2025-12-11 14:36:16 +01:00
  • 8647844572 [ty] Adjust scope completions to use all reachable symbols Andrew Gallant 2025-12-10 11:17:00 -05:00
  • 1dcb7f89f1 [ty] Rename all_members_of_scope to all_end_of_scope_members Andrew Gallant 2025-12-10 11:20:24 -05:00
  • c1c45a6a13 [ty] Remove all_ prefix from some routines on UseDefMap Andrew Gallant 2025-12-09 13:37:48 -05:00
  • c51727708a Enable --document-private-items for ruff_python_formatter (#21903) Brent Westbrook 2025-12-11 08:23:10 -05:00
  • 27912d46b1 Remove BackwardsTokenizer based parenthesized_range references in ruff_linter (#21836) Denys Zhak 2025-12-11 13:04:57 +01:00
  • 71540c03b6 [ty] Revert "Do not infer types for invalid binary expressions in annotations" (#21914) David Peter 2025-12-11 12:57:45 +01:00
  • aa27925e87 Skip over trivia tokens after re-lexing (#21895) Micha Reiser 2025-12-11 11:45:18 +01:00
  • 5c320990f7 [ty] Avoid inferring types for invalid binary expressions in string annotations (#21911) Charlie Marsh 2025-12-11 03:40:19 -05:00
  • 24ed28e314 [ty] Improve overload call resolution tracing (#21913) Dhruv Manilawala 2025-12-11 12:28:45 +05:30
  • 2d0681da08 [ty] fix missing heap_size on Salsa query (#21912) Carl Meyer 2025-12-10 18:34:00 -08:00