105 commits

Author	SHA1	Message	Date
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

Renamed from compiler/unify/src/unify.rs (Browse further)