[Haskell-cafe] Lifted Spine View
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
> > 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.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell-Cafe