git.iko.soy/elk
on 552fe26 help sign in
elk/compiler/Type
1 folder, 8 files
../ Constrain/Give line numbers when there is a kind error in a pattern 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.hsStop using the MultiWayIf extension State.hsRemove extra "is" from defaultMessage. Type.hscompute a flexibility mark, just so it's easier to turn on and off later Unify.hsPreemptively add "number" as a kind of flexible variable that can unify with an (Is Number)