15 commits

Author	SHA1	Message	Date
Alex Waygood	a62a432a48	[red-knot] Respect typeshed's VERSIONS file when resolving stdlib modules (#12141)	2024-07-05 22:43:31 +00:00
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