Ayaz Hafiz 238e64c0b3 Defer resolution of a recursion variable during union unification until merging ... While unifying two unions, we may turn one of them into a recursive union. If we don't recognize the recursiveness before merging, we'll have lost the recursive value of the union.		2023-05-01 13:14:59 -05:00
..
fix.rs	Add a notion of "openness" tag extensions suitable only for size-polymorphism	2023-01-16 10:52:23 -06:00
lib.rs	Check in fixpoint-fixing algorithm	2022-11-16 14:05:51 -06:00
unify.rs	Defer resolution of a recursion variable during union unification until merging	2023-05-01 13:14:59 -05:00