git.iko.soy/elk
on cce1029 help sign in
elk/compiler/src/Type
1 folder, 7 files
../ Constrain/Add additional constraint so field name errors do not cascade Error.hsMake it so record update syntax cannot change field types Instantiate.hsMove all the compiler code into the compiler/ directory Occurs.hsMove all the compiler code into the compiler/ directory Solve.hscosmetic: add the infinite type error the same way as other cases Type.hsProduce better error messages on "too many args" Unify.hsGet rid of try2 and try3 ideas in unification UnionFind.hsMove all the compiler code into the compiler/ directory