213 commits

Author	SHA1	Message	Date
Ayaz Hafiz	808d19b01b	Correctly compile unified recursive tag unions	2022-07-08 17:35:14 -04:00
Ayaz Hafiz	d9edb4d1bb	Support unification of recursion vars in opaques	2022-07-08 15:31:29 -04:00
Ayaz Hafiz	ebcd323449	Use strict unification of vars in unspecialized lambda sets right now	2022-07-06 13:08:58 -04:00
Ayaz Hafiz	0b427646e4	Continued progress on new lambda set compaction algorithm	2022-07-06 13:08:57 -04:00
Ayaz Hafiz	5534577a90	Embed new lambda set specialization algorithm	2022-07-06 13:08:56 -04:00
Ayaz Hafiz	c154a337a9	Get deep range numbers working	2022-07-05 22:16:52 -04:00
Ayaz Hafiz	fc1617bf17	Phantom types ... Closes #3314	2022-07-05 19:07:41 -04:00
ayazhafiz	91050d9989	Add solve test for same layout different niche	2022-07-03 10:37:40 -04:00
ayazhafiz	ffa2ba1043	Fix solve tes	2022-07-03 10:37:28 -04:00
Ayaz Hafiz	28c1cf46a3	Multimorphic lambdas capture another lambda	2022-07-03 10:37:28 -04:00
Ayaz Hafiz	88618c098d	Unify lambda sets with left/right closure capture differences	2022-07-03 10:37:26 -04:00
Ayaz Hafiz	cecb6987e7	Admit duplicate lambdas in lambda sets when their captures don't unify	2022-07-03 10:37:25 -04:00
Anton-4	eee85fa45d	moved all crates into seperate folder + related path fixes	2022-07-01 17:37:43 +02:00