on 8dd6098 help sign in
elk/src/Type
1 folder, 8 files
../ Constrain/Improve error message when type annotation does not match defined value 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