on 60a112a help sign in
elk/src/Type
1 folder, 9 files
../ Constrain/Improve type errors for application Environment.hsError reporting overhaul (BIG) ExtraChecks.hsError reporting overhaul (BIG) Fragment.hsError reporting overhaul (BIG) Inference.hsError reporting overhaul (BIG) PrettyPrint.hsRename compiler/ to src/ Solve.hsAllow hints on type constraints, leading to improved error messages State.hsError reporting overhaul (BIG) Type.hsAllow hints on type constraints, leading to improved error messages Unify.hsShow unification notes in the appropriate place