Folkert 7b86a4b29e optimize variable substitution in instantiate_rigids		2022-03-21 23:57:40 +01:00
..
builtins.rs	implement constrain crate	2022-03-17 19:17:52 +01:00
expr.rs	optimize variable substitution in instantiate_rigids	2022-03-21 23:57:40 +01:00
lib.rs	move expr/pattern constraint gen	2022-03-02 21:25:13 +01:00
module.rs	clarify variable name	2022-03-13 17:59:44 +01:00
pattern.rs	don't create IsOpenType constraint for obvious non-types	2022-03-19 21:40:16 +01:00