Subtyping #8

Merged

HEL merged 15 commits from feat/subtyping into main 2026-06-15 00:01:45 +02:00

Conversation 0 Commits 15 Files Changed 24

+2414 -148

HEL commented 2026-06-08 09:13:28 +02: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 09:13:28 +02:00

HEL added 15 commits 2026-06-08 09:13:28 +02: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 09:13:36 +02:00

HEL marked the pull request as ready for review 2026-06-15 00:01:22 +02:00

HEL merged commit 27917496c1 into main 2026-06-15 00:01:45 +02:00

HEL deleted branch feat/subtyping 2026-06-15 00:01:45 +02:00

HEL referenced this issue from a commit 2026-06-15 00:01:47 +02:00

Merge pull request 'Subtyping' (#8) from feat/subtyping into main

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

Subscribe

Due Date

No due date set.

Dependencies

No dependencies set.

Reference: HEL/midas#8