HEL/midas
1
0
Fork 0
Code Issues Pull Requests Actions Releases 2 Activity

Properly check variable assignment #36

Merged
HEL merged 4 commits from feat/variable-is-defined into main 2026-07-08 17:30:40 +00:00
Conversation 0 Commits 4 Files Changed 8 +2809 -903
HEL commented 2026-07-08 17:28:46 +00:00
Owner
Copy Link

This PR fixes the resolver to properly check if variables are defined when referenced. It also fixes leaks from for loops
The type checker might still emit conservative warnings for variable it is unsure about whether they're defined, but it will emit errors when it is sure that at least one path doesn't define a value.

This PR fixes the resolver to properly check if variables are defined when referenced. It also fixes leaks from for loops The type checker might still emit conservative warnings for variable it is unsure about whether they're defined, but it will emit errors when it is sure that at least one path doesn't define a value.
HEL self-assigned this 2026-07-08 17:28:46 +00:00
HEL added 3 commits 2026-07-08 17:28:47 +00:00
fix(resolver): properly check if variable is defined 1b5691dca7
tests: add test for variable assignment 06f71f2945
fix(checker): leaking for-loop iterator target
All checks were successful
Tests / tests (pull_request) Successful in 6s
Details
ab7012c538
HEL added 1 commit 2026-07-08 17:30:21 +00:00
chore: add new parameter to docstring
All checks were successful
Tests / tests (pull_request) Successful in 5s
Details
4ed78d3d7e
HEL merged commit 62612bd8db into main 2026-07-08 17:30:40 +00:00
HEL deleted branch feat/variable-is-defined 2026-07-08 17:30:40 +00:00
Sign in to join this conversation.
Reviewers
No Reviewers
Labels
No items
No Label
Milestone
No items
No Milestone
Assignees
Clear assignees
HEL
No Assignees HEL
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: HEL/midas#36
Delete Branch "feat/variable-is-defined"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?