../ Constrain/Check the overall record type last, pinning down more types for error messages11 years ago Environment.hsError reporting overhaul (BIG)12 years ago ExtraChecks.hsError reporting overhaul (BIG)12 years ago Fragment.hsError reporting overhaul (BIG)12 years ago Inference.hsError reporting overhaul (BIG)12 years ago PrettyPrint.hsRename compiler/ to src/12 years ago Solve.hsAllow hints on type constraints, leading to improved error messages11 years ago State.hsError reporting overhaul (BIG)12 years ago Type.hsAllow hints on type constraints, leading to improved error messages11 years ago Unify.hsShow unification notes in the appropriate place11 years ago