<blockquote style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;" class="gmail_quote">Why is it difficult?<br></blockquote><br>Ideally we&#39;d like the type of convert to be something like:<br>
convert :: LambdaExpr -&gt; SKIExpr<br>but this breaks in several places, such as the nested converts in the RHS of the rule:<br>convert (Lambda x (Lambda y e)) | occursFree x e = convert (Lambda x (convert (Lambda y e)))<br>
<br>A while ago I tried modifying the algorithm to be pure top-down so that it wouldn&#39;t have this problem, but I didn&#39;t have much luck.<br><br>Anybody know of a way to fix this?<br><br>- Job<br><br><div class="gmail_quote">
On Thu, Jan 28, 2010 at 10:21 AM, Felipe Lessa <span dir="ltr">&lt;<a href="mailto:felipe.lessa@gmail.com">felipe.lessa@gmail.com</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
<div class="im">On Thu, Jan 28, 2010 at 09:23:23AM -0500, Job Vranish wrote:<br>
&gt; -- The anoying thing about the algorithm is that it is difficult to separate<br>
&gt; the SKI and LC expression types<br>
&gt; --  it&#39;s easiest to just combine them.<br>
<br>
</div>Why is it difficult?<br>
<br>
--<br>
<font color="#888888">Felipe.<br>
</font><div><div></div><div class="h5">_______________________________________________<br>
Haskell-Cafe mailing list<br>
<a href="mailto:Haskell-Cafe@haskell.org">Haskell-Cafe@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/haskell-cafe" target="_blank">http://www.haskell.org/mailman/listinfo/haskell-cafe</a><br>
</div></div></blockquote></div><br>