WIP: Subtyping #8

HEL · 2026-06-08T07:13:28Z

HEL commented

2026-06-08 07:13:28 +00:00

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

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

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

This pull request is marked as a work in progress.

View command line instructions

Checkout

From your project repository, check out a new branch and test the changes.

git fetch -u origin feat/subtyping:feat/subtyping

git checkout feat/subtyping

Sign in to join this conversation.

1 Participants

Notifications

Due Date

No due date set.

Dependencies

No dependencies set.

Reference: HEL/midas#8