[Haskell-cafe] Lifted Spine View

bob zhang bobzhang1988 at gmail.com
Mon Nov 21 20:32:49 CET 2011

Thanks,  I don't see the footnote, but that works. :-)

On Mon, Nov 21, 2011 at 5:15 AM, Andres Löh <andres.loeh at googlemail.com>wrote:

> Hi there.
> >    I tried to follow the program of the paper "Scrap your boilerpolate"
> > Revolutions. Unfortunately,
> > I found the program in the section lifted spine view does not compile in
> my
> > GHC, could anybody
> >  point out where I am wrong? Many Thanks
> >
> > My code is posted here http://hpaste.org/54357
> You have to flip the two fields of (:->), i.e., the type has to be
> first and the annotated term has to be second. This is because pattern
> matching on GADTs and refinement is implicitly left-to-right in GHC.
> The paper presents it the other way round and remarks on the flipped
> order in a footnote near the beginning.
> Cheers,
>  Andres

Best, bob
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20111121/88ce9bb3/attachment.htm>

More information about the Haskell-Cafe mailing list