roc/crates/compiler/types
Ayaz Hafiz 9f45c2ff47
Correctly copy non-generalized imports as non-generalized
Importing a rigid variable in a non-generalized context should not keep
the variable as rigid. That's because rigid variables are only necessary
for enforcing invariants during typechecking of a generalizable
definition, but at all use sites (which are not generalized), they are
demoted to possibly-unbound type variable.
2023-05-24 14:12:24 -05:00
..
src Correctly copy non-generalized imports as non-generalized 2023-05-24 14:12:24 -05:00
Cargo.toml run a toml formatter and then clean it up a bit 2023-03-06 19:47:57 -08:00