git.iko.soy/elk
on 43b604e help sign in
elk/compiler/Type
1 folder, 8 files
../ Constrain/Give line numbers when there is a kind error in a pattern Environment.hsMake errors a little bit better when a type alias gets the wrong number of arguments. Fragment.hsUse new Located datastructure, add source strings where appropriate Inference.hsUse new Located datastructure, add source strings where appropriate PrettyPrint.hsAdd CSaveEnv, optimize CAnd, make it prettier Solve.hsStop using the MultiWayIf extension State.hsMake error messages prettier Type.hsUse new Located datastructure, add source strings where appropriate Unify.hsProperly handle the qualified `Text` type