git.iko.soy/elk
on 33261ec help sign in
elk/src/Type
1 folder, 8 files
../ Constrain/Make errors for bad argument types nicer 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