64 Commits

Author	SHA1	Message	Date
Carl Meyer	0e44235981	[red-knot] intern types using Salsa (#12061) ... Intern types using Salsa interning instead of in the `TypeInference` result. This eliminates the need for `TypingContext`, and also paves the way for finer-grained type inference queries.	2024-07-05 12:16:37 -07:00
Micha Reiser	4d385b60c8	[red-knot] Migrate CLI to Salsa (#11972)	2024-07-04 07:23:45 +00:00
Micha Reiser	262053f85c	[red-knot]: Implement `HasTy` for `Alias` (#11971)	2024-07-04 07:17:10 +00:00
Micha Reiser	3ce8b9fcae	Make `Definition` a salsa-ingredient (#12151)	2024-07-04 06:46:08 +00:00
Micha Reiser	dcb9523b1e	Address review feedback from 11963 (#12145)	2024-07-02 09:05:55 +02:00
Micha Reiser	25080acb7a	[red-knot] Introduce `ExpressionNodeKey` to improve typing of `expression_map` (#12142)	2024-07-01 16:15:53 +02:00
Micha Reiser	228b1c4235	[red-knot] Remove `Scope::name` (#12137)	2024-07-01 15:55:50 +02:00
Micha Reiser	955138b74a	Refactor `ast_ids` traits to take `ScopeId` instead of `VfsFile` plus `FileScopeId`. (#12139)	2024-07-01 15:50:07 +02:00
Micha Reiser	37f260b5af	Introduce `HasTy` trait and `SemanticModel` facade (#11963)	2024-07-01 14:48:27 +02:00
Micha Reiser	5109b50bb3	Use `CompactString` for `Identifier` (#12101)	2024-07-01 10:06:02 +02:00
Alex Waygood	736a4ead14	[red-knot] Move module-resolution logic to its own crate (#11964)	2024-06-21 13:25:44 +00:00
Micha Reiser	927069c12f	[red-knot] Upgrade to Salsa 3.0 (#11952)	2024-06-20 20:19:16 +01:00
Micha Reiser	b456051be8	[red-knot] Add tracing to Salsa queries (#11949)	2024-06-20 13:33:41 +02:00
Micha Reiser	2dfbf118d7	[red-knot] Extract `red_knot_python_semantic` crate (#11926)	2024-06-20 13:24:24 +02:00