HEL/midas
1
0
Fork 0
Code Issues Pull Requests Releases 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

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 changed title from Subtyping to WIP: Subtyping 2026-06-08 07:13:36 +00:00
HEL changed title from WIP: Subtyping to Subtyping 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 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#8
Delete Branch "feat/subtyping"

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?