on f5f9ed0 help sign in
elk/src/Type
1 folder, 7 files
../ Constrain/Add Region.zero and adopt JSON error handling code Error.hsImprove the error for bad (++) usages 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.hsGet rid of wildcard in pattern match UnionFind.hsUse shorter names in UnionFind