19 commits

Author	SHA1	Message	Date
Ayaz Hafiz	7b23077265	Treat numbers as ad-hoc types for the purpose of checking ability obligations	2022-07-15 10:39:09 -04:00
Ayaz Hafiz	1cf1e114be	Derive tag union encoders	2022-07-14 08:49:45 -04:00
Ayaz Hafiz	801803d813	Make sure to union tag outcomes all the way	2022-07-13 08:47: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
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	5d74a376af	Attach ambient function vars to lambda sets	2022-07-06 13:04:29 -04:00
Ayaz Hafiz	26148b8b12	Recover default layouts for floats	2022-07-05 22:16:53 -04:00
Ayaz Hafiz	15afa36344	Push bound var down	2022-07-05 22:16:53 -04:00
Ayaz Hafiz	2492fba9f9	Gen tests for promoted num layouts	2022-07-05 22:16:52 -04:00
Ayaz Hafiz	c154a337a9	Get deep range numbers working	2022-07-05 22:16:52 -04:00
Ayaz Hafiz	1905e1815d	Detect when big number literals cannot fit into the same type	2022-07-05 22:16:49 -04:00
Ayaz Hafiz	806e2f5096	Make sure to properly preserve lambda set ordering	2022-07-03 10:37:27 -04:00
Ayaz Hafiz	eb400590cc	Clippy	2022-07-03 10:37:27 -04:00
Ayaz Hafiz	88618c098d	Unify lambda sets with left/right closure capture differences	2022-07-03 10:37:26 -04:00
Ayaz Hafiz	ca87faa906	Allow union lambdas to have duplicates	2022-07-03 10:37:25 -04:00
Ayaz Hafiz	8fb9ccccfe	Allow captures to be marked as unified without having to be merged ... It's very possible to unify two variables without their actual variable numbers having been merged in the unification forest. We might want to do that in the future, but it's not necessarily true today. For example two concrete constructors `{}` and `{}` are unified by their contents, but the variables are not necessarily merged afterward.	2022-07-03 10:37:25 -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