HEL/midas
1
0
Fork 0
Code Issues Pull Requests Releases Activity

Generic call unification #18

Merged
HEL merged 4 commits from feat/unification into main 2026-06-21 11:41:48 +00:00
Conversation 0 Commits 4 Files Changed 5 +1082
HEL commented 2026-06-21 11:41:42 +00:00
Owner
Copy Link

This PR adds a simple Unifier class to match call arguments against a generic signature and try to resolve type parameter substitutions.
The unification process is currently quite strict, checking type equality when a type variable is used in multiple places.
A different approach could be to automatically widen the type if possible.
The unifier doesn't support passing unapplied generic types as arguments yet.
This could be implement by generalized the substitutions merging process to handle subtype constraints, but it might be overkill for the scope of this project

This PR adds a simple Unifier class to match call arguments against a generic signature and try to resolve type parameter substitutions. The unification process is currently quite strict, checking type _equality_ when a type variable is used in multiple places. A different approach could be to automatically widen the type if possible. The unifier doesn't support passing unapplied generic types as arguments yet. This could be implement by generalized the substitutions merging process to handle subtype constraints, but it might be overkill for the scope of this project
HEL self-assigned this 2026-06-21 11:41:42 +00:00
HEL added 4 commits 2026-06-21 11:41:43 +00:00
feat(checker): add unifier 41d0c84bbe 
add unifier class to infer type parameters from local call context
fix(checker): make map definition generic b591f5508f
tests: add unification test 29e601128d
fix(checker): abort unification on conflict 4395e9339b
HEL merged commit 739871c101 into main 2026-06-21 11:41:48 +00:00
HEL deleted branch feat/unification 2026-06-21 11:41:48 +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#18
Delete Branch "feat/unification"

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?