[Haskell-cafe] Lifted Spine View

[bob zhang]

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>