Ayaz Hafiz 49a92e5ef1 Support fixpoint-fixing under recursion variables ... Sometimes, we might need to fixpoint-fix a unification like [ Bar [ Bar <a>, Foo ], Foo ] as <a> 🛠️ [ Bar <b>, Foo ] as <b> where we hit a comparison between <a> and <b>. In this case, follow each recursion point independently and see if we can find the chain to the needle we were searching for. Closes #5476		2023-06-13 17:15:11 -05:00
..
fix.rs	Support fixpoint-fixing under recursion variables	2023-06-13 17:15:11 -05:00
lib.rs	Check in fixpoint-fixing algorithm	2022-11-16 14:05:51 -06:00
unify.rs	Correct occurs cycle under alias argument but not alias real var	2023-05-02 17:00:58 -05:00