Joshua Warner 174f7d5e4d Fix bug in unifying records ... This was leading us to have an infinitely-recursive type, which eventually causes layout to stack-overflow Fixes #4739		2022-12-17 11:37:19 -08:00
..
fix.rs	Avoid parsing doc comments as code	2022-11-16 14:05:53 -06:00
lib.rs	Check in fixpoint-fixing algorithm	2022-11-16 14:05:51 -06:00
unify.rs	Fix bug in unifying records	2022-12-17 11:37:19 -08:00