That is indeed the ticket capturing the issue. Does anyone have plans to work on it? Alan On Wed, Sep 9, 2015 at 3:37 AM, Richard Eisenberg wrote:

Ticket #8809 (https://ghc.haskell.org/trac/ghc/ticket/8809) seems the best spot to look for this.

Richard

On Sep 8, 2015, at 2:49 PM, "Alan & Kim Zimmerman" wrote:

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?

https://www.youtube.com/watch?v=m7BBCcIDXSg&list=PLnqUlCo055hVfNkQHP7z43r10yNo-mc7B&index=10

Alan

_______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

Simon Peyton Jones writes:

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?

Not that I know of, but it would be a Good Thing.

I have been interested in this issue myself and have the beginning of a proposal on how we might be able to do this reasonably painlessly here [1]. At one point I had the beginnings of a proper Wiki page describing the proposal but sadly Trac/Firefox ate it and I've not had the time to attempt a rewrite. Cheers, - Ben [1] https://ghc.haskell.org/trac/ghc/ticket/8809#comment:3