git.iko.soy/elk
on 07712e9 help sign in
elk/src/Reporting/Error
6 files
../ Canonicalize.hsWork on TODO for bad type variables in type aliases Docs.hsResolve two TODOs in docs error messages 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.hsAdd logic for (::) type errors