git.iko.soy/elk
on 3d36846 help sign in
elk/compiler/Type
1 folder, 8 files
../ Constrain/Fix subtle bug with rigidVars vs rigidQuantifiers, was quantifing over the wrong variables in a forall 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.hsAdd CSaveEnv, optimize CAnd, make it prettier Solve.hsstyle tweaks State.hsMake impossible error more specific Type.hscompute a flexibility mark, just so it's easier to turn on and off later Unify.hsFix accidental creation of rigid variables when type-checking mixed record types when a type alias is given