> 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 = Do
Hi,
Thanks for all the work on error messages, this is important.
Whatever you do please remember that not only humans are recipients of
these messages. Recently GHC changed 'Warning' into 'warning' and even that
caused some issues:
https://github.com/haskell/haskell-mode/issues/1513
2017-06-0