Type-level error messages

[Richard Eisenberg]

On Oct 28, 2015, at 7:39 AM, Ben Gamari <ben at well-typed.com> wrote:

> It does look pretty reasonable but keep in mind that there are a number
> of comments on the Phabricator Diff that still need to be addressed.

And I have three burning questions at the bottom of the wiki page https://ghc.haskell.org/trac/ghc/wiki/Proposal/CustomTypeErrors. The first, in particular, needs to be addressed to make this feature useful.

Richard