git.iko.soy/elk
on e6be50e help sign in
elk/compiler/Type
1 folder, 10 files
../ Constrain/Succeed on programs that have no expressions Alias.hsAdd the Type.Alias file to do realiasing when printing types 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.hsSwitch to SrcTypes after type inference, not in compiler 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