Interested to help with error messages

Richard Eisenberg rae at
Mon Jun 5 03:20:22 UTC 2017

> On Jun 3, 2017, at 11:50 AM, Ben Gamari <ben at> wrote:
> In particular, Richard Eisenberg
> advocated that error message documents look like,
>    -- A dynamically typed value embedded in an error message
>    data ErrItem = forall a. (Outputable a, Typeable a). ErrItem a
>    type ErrDoc = Doc ErrItem

I retract this argument.

Otherwise, I contribute only a hearty thanks to whoever is working on this, which likely has a larger impact on the adoption of Haskell than anything I've done. :)


More information about the ghc-devs mailing list