git.iko.soy/elk
on c18189b help sign in
elk/src/Type
1 folder, 7 files
../ Constrain/Flip some constraints around to match how they are displayed Environment.hsBetter model of types in Type.Type Fragment.hsShow proper errors for infinite types again Inference.hsBetter model of types in Type.Type Solve.hsResolve a bunch of warnings State.hsMake the error message more demanding Type.hsFix problem where added type variable names were trashed Unify.hsFix #1143, properly unify rigid type vars that are supers