git.iko.soy/elk
on 560f679 help sign in
elk/compiler/Type
1 folder, 8 files
../ Constrain/Succeed on programs that have no expressions Environment.hsFix problem with variable shadowing when instantiating aliased types Fragment.hsUse new Located datastructure, add source strings where appropriate Inference.hsUse new Located datastructure, add source strings where appropriate PrettyPrint.hsreprime when printing types Solve.hsstyle tweaks State.hsMake impossible error more specific Type.hsreprime when printing types Unify.hsFix accidental creation of rigid variables when type-checking mixed record types when a type alias is given