Thanks,  I don&#39;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">&lt;<a href="mailto:andres.loeh@googlemail.com">andres.loeh@googlemail.com</a>&gt;</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>
&gt;    I tried to follow the program of the paper &quot;Scrap your boilerpolate&quot;<br>
&gt; Revolutions. Unfortunately,<br>
&gt; I found the program in the section lifted spine view does not compile in my<br>
&gt; GHC, could anybody<br>
&gt;  point out where I am wrong? Many Thanks<br>
&gt;<br>
&gt; 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 (:-&gt;), 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>