git.iko.soy/elk
on fda1d2f help sign in
elk/compiler/Type
1 folder, 8 files
../ Constrain/Simplify code to generate record constraints Environment.hsMove the definition of the Signal type out of the compiler and into the Signal library Fragment.hsFix type constraints for case-expressions Inference.hsGet rid of current canonicalization code PrettyPrint.hsAdd CSaveEnv, optimize CAnd, make it prettier Solve.hsFix possibility of calling `maximum` on empty lists State.hsSimplify type error messages Type.hsSimplify code to generate record constraints Unify.hsCorrect the code that unifies records