git.iko.soy/elk
on 9c1239a help sign in
elk/src/Type
1 folder, 7 files
../ Constrain/Make error message a bit nicer when there is only one argument 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.hsBetter model of types in Type.Type State.hsBetter model of types in Type.Type Type.hsBetter model of types in Type.Type Unify.hsOnly merge if all the subparts match, otherwise type diff messes up