git.iko.soy/elk
on 642b1f7 help sign in
elk/compiler/Type
1 folder, 8 files
../ Constrain/Mess with whitespace Environment.hsProperly handle constrained variables when converting from Src.Type to Type.Type 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.hsGet rid of unused part of the type error message Type.hsAdd definitions for functions that act on numbers and comparables Unify.hsUnify any constrained variables with the same super-type