<div dir="ltr"><div>That's great. My interest is more around having it than doing it, so I would be delighted if it received some attention.<br><br></div>Alan<br><div><br></div></div><div class="gmail_extra"><br><div class="gmail_quote">On Fri, Sep 18, 2015 at 5:21 PM, Ben Gamari <span dir="ltr"><<a href="mailto:ben@smart-cactus.org" target="_blank">ben@smart-cactus.org</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class="">Simon Peyton Jones <<a href="mailto:simonpj@microsoft.com">simonpj@microsoft.com</a>> writes:<br>
<br>
> Is there currently any planned work around making the haskell error<br>
> messages able to support something like the ones in IDRIS, as shown in<br>
> David Christianson's talk "A Pretty printer that says what it means"<br>
> at HIW?<br>
><br>
> Not that I know of, but it would be a Good Thing.<br>
><br>
</span>I have been interested in this issue myself and have the beginning of a<br>
proposal on how we might be able to do this reasonably painlessly here<br>
[1]. At one point I had the beginnings of a proper Wiki page describing<br>
the proposal but sadly Trac/Firefox ate it and I've not had the time to<br>
attempt a rewrite.<br>
<br>
Cheers,<br>
<br>
- Ben<br>
<br>
<br>
[1] <a href="https://ghc.haskell.org/trac/ghc/ticket/8809#comment:3" rel="noreferrer" target="_blank">https://ghc.haskell.org/trac/ghc/ticket/8809#comment:3</a><br>
</blockquote></div><br></div>