on 1c3cda7 help sign in
elk/src/Type
1 folder, 7 files
../ Constrain/Add Region.zero and adopt JSON error handling code Error.hsFix unification of String/appendable and Char/comparable Instantiate.hsSwitch TRecord constructors to have (Maybe Name) extensions Occurs.hsCreate special "error type" that has extra information Solve.hsProperly recognize supers during unification Type.hsMake some progress on type error messages! Unify.hsFix unification of String/appendable and Char/comparable UnionFind.hsUse shorter names in UnionFind