Ayaz Hafiz 4657a957f7 When storing variables, merge them directly with the target rather than unifying ... When we unify two variables that end up merged, the rank of the resulting content is the lower of the two variables being merged. But during storage, we really do mean, take the target descriptor of the type we're merging against, and don't try to lower to a possibly-generalized rank! This fixes a couple bugs I didn't even realize were present!		2022-07-29 14:53:14 -04:00
..
builtins.rs	Rename Category::Float to Category::Frac	2022-07-20 10:49:05 -04:00
expr.rs	When storing variables, merge them directly with the target rather than unifying	2022-07-29 14:53:14 -04:00
lib.rs	moved all crates into seperate folder + related path fixes	2022-07-01 17:37:43 +02:00
module.rs	Remove constrain_builtin_imports	2022-07-10 10:46:18 -04:00
pattern.rs	Make sure to apply "is-open" constraints at the very end of pattern constraining	2022-07-22 12:57:27 -04:00