on 6ecd0be help sign in
6 files
../ Canonicalize.hsAdd Type.Error.toDoc Docs.hsResolve two TODOs in docs error messages Main.hsCheck in Error.Main with errors for bad flags Pattern.hsRethink the error messages for exhaustiveness checks Syntax.hsResolve TODOs in Validate Type.hsShow indented types in type errors