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