../ Constrain/Make it so record update syntax cannot change field types9 years ago Error.hsMake it so record update syntax cannot change field types9 years ago Instantiate.hsMove all the compiler code into the compiler/ directory9 years ago Occurs.hsMove all the compiler code into the compiler/ directory9 years ago Solve.hscosmetic: add the infinite type error the same way as other cases9 years ago Type.hsProduce better error messages on "too many args"9 years ago Unify.hsGet rid of try2 and try3 ideas in unification9 years ago UnionFind.hsMove all the compiler code into the compiler/ directory9 years ago