on 00dc6fd help sign in
1 folder, 9 files
../ Constrain/cosmetic: try to make -Wall happier Environment.hscosmetic: try to make -Wall happier ExtraChecks.hsUpdate changelog and error messages for type aliases in port types Fragment.hsSwitch imports from SourceSyntax to AST Inference.hscosmetic: make "infer" more clear with ErrorT PrettyPrint.hsremove reprime, many minor cosmetic changes Solve.hscosmetic: switch to forM to improve style State.hscosmetic: make names more consistent Type.hsFix toSrcType for aliased record extensions Unify.hsGet rid of debugging print that snuck in