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

Cast assertions and generator tests #12

Merged
HEL merged 9 commits from feat/cast-assertions into main 2026-06-16 12:57:49 +00:00
Conversation 0 Commits 9 Files Changed 19 +572 -28
HEL commented 2026-06-16 12:56:02 +00:00
Owner
Copy Link

This PR implements cast-assertion generation. For the moment, only the base type is checked.
It also adds RawStmt and RawExpr to store raw Python ast nodes that are not supported by the checker.
This PR also adds a preamble with some of the builtin Python functions
Finally, it adds a tester for the generator.

Here is a non-exhaustive list of things that still need to be implemented:

  • Stub generation: generate Python stubs or dummy classes for other type checkers
  • Constraints: when constraint types are implemented, generate assertions for the constraints
  • Generic unification: try and resolve generic type parameters given some values or parameters (e.g. to allow calling a bare generic function)
  • Implicit casts: allow some implicit casts / widening, especially for literal assignments (e.g. time: Second = 1.23)
  • Unsafe casts: add an unsafe alternative to cast which doesn't produce any runtime assertion, for example to avoid costly operations
This PR implements cast-assertion generation. For the moment, only the base type is checked. It also adds `RawStmt` and `RawExpr` to store raw Python ast nodes that are not supported by the checker. This PR also adds a preamble with some of the builtin Python functions Finally, it adds a tester for the generator. Here is a non-exhaustive list of things that still need to be implemented: - Stub generation: generate Python stubs or dummy classes for other type checkers - Constraints: when constraint types are implemented, generate assertions for the constraints - Generic unification: try and resolve generic type parameters given some values or parameters (e.g. to allow calling a bare generic function) - Implicit casts: allow some implicit casts / widening, especially for literal assignments (e.g. `time: Second = 1.23`) - Unsafe casts: add an unsafe alternative to `cast` which doesn't produce any runtime assertion, for example to avoid costly operations
HEL self-assigned this 2026-06-16 12:56:02 +00:00
HEL added 6 commits 2026-06-16 12:57:20 +00:00
fix(checker): allow inferred return to be subtype of hint c4062c9595
feat(checker): add environment preamble 732f7b0796 
this adds some builtin functions such as the builtin type constructors
fix(cli): improve dump-registry command output 4b1087d6b9
fix(checker): allow calling AppliedType and UnknownType 591012d059
feat(tests): add generator tester da38cad23d
tests: add simple gen test 2a8b7d559c
HEL force-pushed feat/cast-assertions from 1aff8e574d to 2a8b7d559c 2026-06-16 12:57:20 +00:00 Compare
HEL merged commit 5ce3b4abed into main 2026-06-16 12:57:49 +00:00
HEL deleted branch feat/cast-assertions 2026-06-16 12:57:49 +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#12
Delete Branch "feat/cast-assertions"

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?