on 7dfbc30 help sign in
elk/src/Type
1 folder, 7 files
../ Constrain/Add additional metadata for TooManyArguments error Constraint.hsAdd additional metadata for TooManyArguments error Instantiate.hsRevamp type constraint generation Occurs.hsUpdate some uses of UF for the shorter names Solve.hsTie all the phases together Type.hsTie all the phases together Unify.hsTry to produce better errors from unification / fixes / optimizations UnionFind.hsUse shorter names in UnionFind