Kick off Red-knot #10849
MichaReiser
merged
59 commits into
main
from
red-knot
carljm
commented
on 2024-04-10
carljm
commented
on 2024-04-10
MichaReiser
commented
on 2024-04-11
carljm
commented
on 2024-04-12
MichaReiser
changed the title
MichaReiser
commented
on 2024-04-19
MichaReiser
commented
on 2024-04-19
carljm
commented
on 2024-04-19
MichaReiser
commented
on 2024-04-23
MichaReiser
commented
on 2024-04-23
MichaReiser
commented
on 2024-04-23
Exploration of a salsa like compilation model (does not compile)
2bfbb59a
Use Salsa, do some syntax and physical line checking
1be5cbc5
Rewrite `AstNodeIds` to use `NodeKey`
eb71fe51
add a couple simple tests for Files
19999b46
Don't use Files::intern in Database
51e0f039
Use pre-computed hash
2afc4559
Add AstIds to Salsa DB and add logic for resolving NodeKey's
ca1cf136
Extract AstIds into its own module
489a09ee
Introduce HasAstId trait
94aa9f0d
Type AstId, a partial HIR
bd4535e4
Add StatementRef and example how to query a function definition
b37b6a9b
remove obsolete TODO
39352e70
Use official salsa repository instead of a fork
8fa2a5c1
'Improve' NodeKey and AstId naming
a8c9184b
A basic definition lowering
b980c228
Remove debug assertion because it results in test failures
102d26f7
Start module resolver
4486ff5a
add bare-bones SymbolTable representation
ed5066d2
Add tests to module resolver, add support for symlinks
e186f8fb
Clippy
e37e96f1
Use Files in 'ModulesResolver'
9d0fdc34
Use `DashMap` and `Arc` for better API
fb23bf85
no Default for SymbolTable
6811bb06
use SmolStr for names instead of String
5780c5a3
make module tests pass when TMPDIR is symlink
86748749
build basic symbol tables from AST
64217bc6
Address module feedback, support namespace and regular packages
97d83989
move child scopes off of symbols
2bf2ced3
better SymbolIterator
53371e69
clippy-clean on symbols.rs
f5cbc898
add imports to symbol table
7cb5b0ff
support PEP 695 generics in symbol table
876e3a8e
clean up unused imports in symbols.rs
27d16113
Track definitions of symbols
c749bcab
Failing test for resolving import cross-module
ac9b3222
Remove salsa, introduce Db trait
8f2f738b
Salsa like Database
7b411a5a
clean up some clippy in symbols.rs
acdec516
Fix more clippy lints, allow pedantic
d190c6fb
a bit more on analyze_imports
2d0f81f2
clean up symbol table API a bit
d3ccb4d7
remove analyze_imports
e5e0832f
initial type environment
c9f39297
Caching cleanups
ebcd5df5
Remove unused dependencies
b19cb89f
[red-knot] Adjust node sizes test so red-knot can pass CI (#11110)
0444ef1d
review comments on initial type env (#11113)
274519fb
[red-knot] re-organize code in symbols.rs (#11116)
6240613e
Store symbol definitions using NodeKey (#11121)
7f7c2e09
red-knot: Add tracing (#11130)
163b261c
[red-knot] remove layer of indirection from SymbolTable (#11132)
ee0f1742
red-knot: Cache symbol tables (#11106)
bedee319
Red knot: Add file watching and cancellation (#11127)
14b089ff
[red-knot] add more types (#11135)
9beb681e
[red-knot] per-module arenas (#11152)
27e68ad6
[red-knot] implement eval_symbol for from-import and class-def (#11157)
8554cf39
[red-knot] Remove support for resolving modules by package directory …
4d7d3b2c
Change ImportDefinition level to `u32`
d3620e49
Enable pedantic lints and fix violations
dd4748b0
Login to write a write a comment.
Login via GitHub