git.iko.soy/elk
on ec24738 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 dead 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