on fb1a6d2 help sign in
elk/src/Type
1 folder, 8 files
../ Constrain/Improve error messages when extra arguments are given to a function Environment.hsError reporting overhaul (BIG) Fragment.hsError reporting overhaul (BIG) Inference.hsAdd warnings for top-level values without type annotations 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