169 commits

Author	SHA1	Message	Date
Folkert de Vries	f1aae6f480	Merge pull request #3476 from rtfeldman/i3469 ... Remove more builtins code	2022-07-10 23:06:50 +02:00
Ayaz Hafiz	c211ec9790	Don't include DelayedAlias in illegal cycle checks	2022-07-10 13:53:41 -04:00
Ayaz Hafiz	98287e7670	Remove imported_builtins from load	2022-07-10 10:41:06 -04:00
Richard Feldman	c45e3ec4b4	Merge remote-tracking branch 'origin/trunk' into fix-nested-imports	2022-07-10 08:52:38 -04:00
Ayaz	7b308d9efe	Merge pull request #3404 from rtfeldman/ambient-lset-specialization ... The ambient lambda set specialization algorithm	2022-07-09 17:23:27 -05:00
Richard Feldman	f45e3dbb46	Fix tests	2022-07-08 18:16:08 -04:00
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

Renamed from compiler/solve/tests/solve_expr.rs (Browse further)