on 1c3cda7 help sign in
7 files
../ Canonicalize.hsResolve final TODO that causes crashes in the compiler! Docs.hsResolve two TODOs in docs error messages Json.hsAdd Region.zero and adopt JSON error handling code Main.hsMove srcToDoc and canToDoc implementations into Render.Type Pattern.hsRethink the error messages for exhaustiveness checks Syntax.hsRemove duplicate theories in syntax errors Type.hsFix unification of String/appendable and Char/comparable