git.iko.soy/elk
on ab41d0c help sign in
elk/compiler/Type
1 folder, 8 files
../ Constrain/Add record constructors, begin using lists to represent fields in record types to maintain ordering from the source program Environment.hsTake out types that were listed as "builtin" Fragment.hsFix type constraints for case-expressions Inference.hsInclude type aliases from dependencies PrettyPrint.hsAdd CSaveEnv, optimize CAnd, make it prettier Solve.hsFix possibility of calling `maximum` on empty lists State.hsSimplify type error messages Type.hsImplement unification for records Unify.hsSimplify type error messages