Prototype 'out' type variables that mimic associated types - #25

Merged

garciat merged 17 commits into

mainfrom

garciat/out-vars

Dec 26, 2025

Commits on Dec 25, 2025

Prototype 'out' type variables that somewhat mimic type families
garciat
committed
cddc59a
Fix formatting
garciat
committed
1eb1c62
Delete unused code
garciat
committed
25d06bf
Simplify flatten example
garciat
committed
e824d72
Model out as constructor; improve its unification
garciat
committed
b6d7b71
Clean up resolved match construction
garciat
committed
f7b6ddd

Commits on Dec 26, 2025

Add example
garciat
committed
e95bc52
Implement graph-like out-var resolution
garciat
committed
332c1dd
Add better match failure messages
garciat
committed
b7d7d7b
Enable fixed test cases
garciat
committed
a6d2c02
Just skip the lazy cases, I guess
garciat
committed
924964a
Clarify lazy case match
garciat
committed
d4adc1a
Fix formatting
garciat
committed
3183123
Small clean ups
garciat
committed
9aaaed5
Fix formatting
garciat
committed
826571a
Tiny clean ups
garciat
committed
4b146e0
Extract method
garciat
committed
92d8869