Re: Interested to help with error messages

On Jun 3, 2017, at 11:50 AM, Ben Gamari 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. :) Richard