Type-level error messages

Richard Eisenberg eir at cis.upenn.edu
Wed Oct 28 13:23:35 UTC 2015


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


More information about the ghc-devs mailing list