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 _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe