Look through type equations during Tetra to Salt transform
|Reported by:||benl||Owned by:|
Description (last modified by benl)
The Tetra to Salt transform isn't looking through type equations, so types of primitives that use type synonyms break. Eg in Data.Array, the indices need to be specified using 'Nat#' types rather than 'Nat' to the conversion knows the underlying function worked on unboxed values.
There will also be problems with code generation if the type of some thing is Nat but Nat# is handled specially.