21 Nov
2011
21 Nov
'11
2:32 p.m.
Thanks, I don't see the footnote, but that works. :-)
On Mon, Nov 21, 2011 at 5:15 AM, Andres Löh
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