roc/compiler/solve
Ayaz Hafiz af3a677f12
Correct instantiation of delayed opaques
I didn't realize that delayed instantiation of aliases instantiates
their real var, not the whole alias type. So prior to this, we were
wrapping all opaques in a structural `Alias(..)`. Which is okay from a
typechecking perspective because Aliases are transparent, but is
wasteful.
2022-05-07 16:50:14 -04:00
..
src Correct instantiation of delayed opaques 2022-05-07 16:50:14 -04:00
tests Instantiate aliases in delayed alias args 2022-05-06 16:04:47 -04:00
Cargo.toml Consolidate and improve debug_flags 2022-05-05 12:06:16 -04:00