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" <[email protected]> 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
> [email protected]
> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

_______________________________________________
ghc-devs mailing list
[email protected]
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

Reply via email to