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

Subtyping #8

Merged
HEL merged 15 commits from feat/subtyping into main 2026-06-14 22:01:45 +00:00
Conversation 0 Commits 15 Files Changed 24
+2414 -148
HEL commented 2026-06-08 07:13:28 +00:00
Owner
Copy Link
Copy Source

This PR implements simple subtyping. It replaces type equality checks with subtype checks where appropriate.
Future improvements may include generating casting calls (e.g. float(value)) when a type is subsumed for one of its super-types

This PR also implements type checking attribute references and assignments

TODO:

  • [ ] Double check function subtyping (will be done later)
This PR implements simple subtyping. It replaces type equality checks with subtype checks where appropriate. Future improvements may include generating casting calls (e.g. `float(value)`) when a type is subsumed for one of its super-types This PR also implements type checking attribute references and assignments TODO: - ~[ ] Double check function subtyping~ (will be done later)
HEL self-assigned this 2026-06-08 07:13:28 +00:00
HEL added 15 commits 2026-06-08 07:13:28 +00:00
feat(cli): add verbose flag to compile 82a0f13242
feat(checker): record type judgements 1c30188122
feat(checker): add is_subtype method 67c40a3909
feat(checker): store function param position 2a2bb0aec7
feat(checker): implement function subtyping 5d44081847 
the logic for checking function subtypes is a WIP and has not been fully tested, there may be some errors and unhandled edge cases
Claude helped lay out and verify the overall steps

Co-authored-by: Claude <noreply@anthropic.com>
feat(tests): add judgements to test results f0e3f7574f 
add type judgements to checker test results and update all tests (including the new subtyping rules)
tests: add subtyping test bccd75317e
feat(cli): improve diagnostic printing 25bd895dde
feat(checker): resolve operation overloads with subtypes c24eb5125e
fix(checker): only unfold alias on subtype 3e0dc60283
fix(checker): invert property subtype check 59e73f0fd9
tests: update tests with operation overloads d278dc5f5b
feat(checker): handle attribute getter b8cb2b4273
fix: remove unused SetExpr e665d03533
feat(checker): handle assignments to attributes e0179bc442
HEL marked the pull request as work in progress 2026-06-08 07:13:36 +00:00
HEL marked the pull request as ready for review 2026-06-14 22:01:22 +00:00
HEL merged commit 27917496c1 into main 2026-06-14 22:01:45 +00:00
HEL deleted branch feat/subtyping 2026-06-14 22:01:45 +00:00
Sign in to join this conversation.
Reviewers
No Reviewers
Labels
No items
No labels
Milestone
No items
No Milestone
Assignees
Clear assignees
HEL (Louis Heredero)
No Assignees HEL
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: HEL/midas#8