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