git.iko.soy/elk
on 82ca695 help sign in
elk/compiler/Type
1 folder, 8 files
../ Constrain/Fix issue in which patterns could become too general Environment.hsAdd support for "number" type which can be either an Int or Float 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 support for "number" type which can be either an Int or Float Unify.hsAdd support for "number" type which can be either an Int or Float