Thanks, I don't see the footnote, but that works. :-)<br><br><div class="gmail_quote">On Mon, Nov 21, 2011 at 5:15 AM, Andres Löh <span dir="ltr"><<a href="mailto:andres.loeh@googlemail.com">andres.loeh@googlemail.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">Hi there.<br>
<div><div class="h5"><br>
> I tried to follow the program of the paper "Scrap your boilerpolate"<br>
> Revolutions. Unfortunately,<br>
> I found the program in the section lifted spine view does not compile in my<br>
> GHC, could anybody<br>
> point out where I am wrong? Many Thanks<br>
><br>
> My code is posted here <a href="http://hpaste.org/54357" target="_blank">http://hpaste.org/54357</a><br>
<br>
</div></div>You have to flip the two fields of (:->), i.e., the type has to be<br>
first and the annotated term has to be second. This is because pattern<br>
matching on GADTs and refinement is implicitly left-to-right in GHC.<br>
The paper presents it the other way round and remarks on the flipped<br>
order in a footnote near the beginning.<br>
<br>
Cheers,<br>
Andres<br>
</blockquote></div><br><br clear="all"><div><br></div>-- <br>Best, bob<br>