on 6f9825f help sign in
elk/src/Type
1 folder, 7 files
../ Constrain/Create Type.Error module and simplify Error type a bit Error.hsMake some progress on type error messages! Instantiate.hsSwitch TRecord constructors to have (Maybe Name) extensions Occurs.hsCreate special "error type" that has extra information Solve.hsFinish TODO on infinite type errors Type.hsMake some progress on type error messages! Unify.hsGet rid of wildcard in pattern match UnionFind.hsUse shorter names in UnionFind