> On Jun 3, 2017, at 11:50 AM, Ben Gamari <[email protected]> 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 _______________________________________________ ghc-devs mailing list [email protected] http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
