git.iko.soy/elk
on 4da7588 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 the ExtraChecks module to do occurs check and check the type of main 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.hsAdd the ExtraChecks module to do occurs check and check the type of main Type.hsreprime when printing types Unify.hsFix accidental creation of rigid variables when type-checking mixed record types when a type alias is given