on da346ea help sign in
1 folder, 8 files
../ Constrain/Simplify code to generate record constraints Environment.hsTake out types that were listed as "builtin" Fragment.hsFix type constraints for case-expressions Inference.hsShow type errors in the order they appear in the source file 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