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
15 Commits
Author SHA1 Message Date
HEL e0179bc442 feat(checker): handle assignments to attributes 2026-06-07 17:50:56 +02:00
HEL e665d03533 fix: remove unused SetExpr 2026-06-07 17:48:31 +02:00
HEL b8cb2b4273 feat(checker): handle attribute getter 2026-06-07 15:07:24 +02:00
HEL d278dc5f5b tests: update tests with operation overloads 2026-06-07 14:28:36 +02:00
HEL 59e73f0fd9 fix(checker): invert property subtype check 2026-06-07 14:00:02 +02:00
HEL 3e0dc60283 fix(checker): only unfold alias on subtype 2026-06-07 13:59:27 +02:00
HEL c24eb5125e feat(checker): resolve operation overloads with subtypes 2026-06-07 13:43:43 +02:00
HEL 25bd895dde feat(cli): improve diagnostic printing 2026-06-07 13:42:15 +02:00
HEL bccd75317e tests: add subtyping test 2026-06-06 16:59:49 +02:00
HEL f0e3f7574f feat(tests): add judgements to test results 
add type judgements to checker test results and update all tests (including the new subtyping rules)
 2026-06-06 16:58:13 +02:00
HELandClaude 5d44081847 feat(checker): implement function subtyping 
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>
 2026-06-06 16:53:52 +02:00
HEL 2a2bb0aec7 feat(checker): store function param position 2026-06-06 16:50:42 +02:00
HEL 67c40a3909 feat(checker): add is_subtype method 2026-06-06 16:30:04 +02:00
HEL 1c30188122 feat(checker): record type judgements 2026-06-06 16:25:33 +02:00
HEL 82a0f13242 feat(cli): add verbose flag to compile 2026-06-05 14:17:24 +02:00