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

4 Commits

Author	SHA1	Message	Date
HEL	4395e9339b	fix(checker): abort unification on conflict	2026-06-21 13:36:07 +02:00
HEL	29e601128d	tests: add unification test	2026-06-21 13:19:17 +02:00
HEL	b591f5508f	fix(checker): make map definition generic	2026-06-21 13:17:35 +02:00
HEL	41d0c84bbe	feat(checker): add unifier ... add unifier class to infer type parameters from local call context	2026-06-21 13:12:27 +02:00