<html><head><meta http-equiv="Content-Type" content="text/html charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><div>Ticket #8809 (<a href="https://ghc.haskell.org/trac/ghc/ticket/8809">https://ghc.haskell.org/trac/ghc/ticket/8809</a>) seems the best spot to look for this.</div><div><br></div><div>Richard</div><br><div><div>On Sep 8, 2015, at 2:49 PM, "Alan & Kim Zimmerman" <<a href="mailto:alan.zimm@gmail.com">alan.zimm@gmail.com</a>> wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite"><div dir="ltr"><div>Is there currently any planned work around making the haskell error messages able to support something like the ones in IDRIS, as shown in David Christianson's talk "A Pretty printer that says what it means" at HIW?<br><br><a href="https://www.youtube.com/watch?v=m7BBCcIDXSg&list=PLnqUlCo055hVfNkQHP7z43r10yNo-mc7B&index=10">https://www.youtube.com/watch?v=m7BBCcIDXSg&list=PLnqUlCo055hVfNkQHP7z43r10yNo-mc7B&index=10</a><br><br></div>Alan<br><div><br><br></div></div>
_______________________________________________<br>ghc-devs mailing list<br><a href="mailto:ghc-devs@haskell.org">ghc-devs@haskell.org</a><br>http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs<br></blockquote></div><br></body></html>