Hi, all 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 herehttp://hpaste.org/54357
2011/11/20 bob zhang
Hi, all 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
Hello! What error do you get? Which version of GHC are you using? Thanks, Antoine
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
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
participants (3)
-
Andres Löh -
Antoine Latter -
bob zhang