on c2fc03c help sign in
elk/compiler/Types
7 files
../ Alias.hsGet type dealiasing working. Constrain.hsFix prelude imports and correctly generalize for library types that use `Number`. Hints.hsGet prelude added in all cases. Solver.hsDealias more reliably during unification Substitutions.hsGet prelude added in all cases. Types.hsFix prelude imports and correctly generalize for library types that use `Number`. Unify.hsGet type dealiasing working.