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

Static evalution of casts on literals #20

Merged
HEL merged 7 commits from feat/literal-static-constraints into main 2026-06-24 09:32:55 +00:00
Conversation 0 Commits 7 Files Changed 11 +346 -67
HEL commented 2026-06-24 09:32:49 +00:00
Owner
Copy Link

This PR enables the Python type checker to statically evaluate cast expressions on literal values.
To do so, it adds an Evaluator class which can evaluate custom Python AST expressions given some literal value.
That could have also been implemented using Python's own eval machinery, but I prefer to have control on how things are evaluated and what is available in the context.

Finally, cast expressions which have been fully evaluated statically do not generate runtime assertions as this would be redundant.

This PR enables the Python type checker to statically evaluate cast expressions on literal values. To do so, it adds an `Evaluator` class which can evaluate custom Python AST expressions given some literal value. That could have also been implemented using Python's own `eval` machinery, but I prefer to have control on how things are evaluated and what is available in the context. Finally, cast expressions which have been fully evaluated statically do not generate runtime assertions as this would be redundant.
HEL self-assigned this 2026-06-24 09:32:49 +00:00
HEL added 7 commits 2026-06-24 09:32:49 +00:00
tests: update with cast expression judgement d9ea6365ea
feat(checker): store builtin python functions in preamble dedfcb4dbb
feat(checker): add debug diagnostics 45f84a2f23
feat(checker): add evaluator 82666a4918 
add an evaluator class to evaluate expressions using literal values
feat(checker): evaluate constraints statically on literals e1d5eac8b8
feat(gen): skip assertions for evaluated casts 70ce263ea2 
avoid generating a runtime assertion for a cast which has already been checked statically
tests: update test without evaluated casts 55fba6a088
HEL merged commit 252a5abdfd into main 2026-06-24 09:32:55 +00:00
HEL deleted branch feat/literal-static-constraints 2026-06-24 09:32:55 +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#20
Delete Branch "feat/literal-static-constraints"

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?