on e0e0b2e help sign in
elk/src/Type
1 folder, 8 files
../ Constrain/Make type error messages more specific for lists 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