git.iko.soy/elk
on 117100e help sign in
elk/compiler/src/Type
1 folder, 7 files
../ Constrain/cosmetic: get rid of a `let` and inline the value Error.hsStart flowing Localizer through other modules Instantiate.hsMove all the compiler code into the compiler/ directory Occurs.hsMove all the compiler code into the compiler/ directory Solve.hsStart flowing Localizer through other modules Type.hsProduce better error messages on "too many args" Unify.hsPropagate errors / possibly fix unranked crash! UnionFind.hsMove all the compiler code into the compiler/ directory