git.iko.soy/elk
on bdb3102 help sign in
elk/compiler/Type
1 folder, 9 files
../ Constrain/Succeed on programs that have no expressions Environment.hsFix problem with variable shadowing when instantiating aliased types ExtraChecks.hsAdd occurs check and a test to make sure it works Fragment.hsUse new Located datastructure, add source strings where appropriate Inference.hsAdd occurs check and a test to make sure it works PrettyPrint.hsreprime when printing types Solve.hsAdd occurs check and a test to make sure it works State.hsReformat `addError` code Type.hsreprime when printing types Unify.hsFix accidental creation of rigid variables when type-checking mixed record types when a type alias is given