re 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 w
Simon Peyton Jones <simo...@microsoft.com> 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"
>
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.
Simon
From
chard
>
> On Sep 8, 2015, at 2:49 PM, "Alan & Kim Zimmerman" <alan.z...@gmail.com>
> 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 Christians
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" <alan.z...@gmail.com> wrote:
> Is there currently any planned work around making the haskell error messages
>
