ruff
[ty] Implement `global` handling and `load-before-global-declaration` syntax error
#17637
Merged
Merged
[ty] Implement `global` handling and `load-before-global-declaration` syntax error #17637
ntBre
merged
23 commits into
main
from
brent/simple-red-knot-globals
[red-knot] Copy and paste ruff's `global` handling
6cd7c58b
refactor globals handling, resolve invalid-assignments, break errors
f359e77d
fix unresolved-reference todo
87b177e0
resolve the last typing todo
2f211bfb
emit syntax errors on `global` lines
bef6172f
tidy up
96443aad
use Alex's globals_per_scope idea
11f48052
use a HashSet instead of Map, range is unused
6e6422d1
AlexWaygood
commented
on 2025-05-02
AlexWaygood
commented
on 2025-05-02
apply suggestion
f35849e9
try adding an mdtest to reproduce the issue
fc0e3375
try Alex's suggestion here too
361fa8c4
Merge branch 'main' into brent/simple-red-knot-globals
c4ea9224
Merge branch 'main' into brent/simple-red-knot-globals
4cdb7543
clean up outdated comment
5f9867e1
use a type alias instead of very thin wrapper struct
16b19f10
use FileScopeId::is_global
610f0506
ntBre
changed the title 
store ScopedSymbolId instead of Name
5cda462e
AlexWaygood
approved these changes
on 2025-05-06
fix docs reference to Globals
e3193bfb
Separate mdtest cases, add more descriptive names
b5dc8c4f
print -> reveal_type in final case
899ffb3c
apply docs suggestion
d0f95200
factor out TypeInferenceBuilder::skip_non_global_scopes
9aef28a7
add TODO for annotated global
6d18f68c
carljm
approved these changes
on 2025-05-08
Reviewers
Assignees
No one assigned
Labels
ty
Milestone
No milestone
Login to write a write a comment.
Login via GitHub