on 2a51470 help sign in
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.hsAdd record constructors, begin using lists to represent fields in record types to maintain ordering from the source program Fragment.hsFix type constraints for case-expressions Inference.hsInclude type aliases from dependencies PrettyPrint.hsAdd CSaveEnv, optimize CAnd, make it prettier Solve.hsSwitch formatting for language pragmas State.hsSwitch formatting for language pragmas Type.hsImplement unification for records Unify.hsImplement unification for records