git.iko.soy/elk
on 4e7ef5f help sign in
elk/compiler/Type
1 folder, 8 files
../ Constrain/Overload literal numbers without a decimal point to be either Ints or Floats Environment.hsAdd definitions for functions that act on numbers and comparables Fragment.hsFix type constraints for case-expressions Inference.hsPrettier printing for infix operator definitions PrettyPrint.hsAdd CSaveEnv, optimize CAnd, make it prettier Solve.hsAssume all variables with the "Native." prefix exist and have type "a" State.hsAdd support for "number" type which can be either an Int or Float Type.hsAdd definitions for functions that act on numbers and comparables Unify.hsAdd definitions for functions that act on numbers and comparables