on b90883e 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.hsError out the whole type on unification errors, avoiding cascading errors