On Wed, Oct 31, 2012 at 1:17 AM, Matthias Hölzl <span dir="ltr"><<a href="mailto:tc@xantira.com" target="_blank">tc@xantira.com</a>></span> wrote:<br><div class="gmail_extra"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">

when compiling the Snark theorem prover (<<a href="http://www.ai.sri.com/~stickel/snark.html" target="_blank">http://www.ai.sri.com/~stickel/snark.html</a>>, or with ASDF system definition at <<a href="https://github.com/hoelzl/Snark" target="_blank">https://github.com/hoelzl/Snark</a>>),  ECL (version 12.7.1 on OSX 10.8.2, installed using homebrew) fails with an internal error:</blockquote>

</div><div class="gmail_extra"><br></div>I have worked out the origin of the error. It is in a nested set of LABELS and closure forms that is complicated enough to make ECL's closure detection algorithm fail.</div><div class="gmail_extra">

<br></div><div class="gmail_extra">Just to give some background, the problem with ECL is that it has two types of closures and it not only has to detect that a function closes over some variables (which is hard enough given recursiveness) but also determine whether the closure has dynamical extent or not. The previous algorithm naïvely assumed this could be determined in one pass + some correction phase, but I have had to add some additional steps in the compilation of the LABELS form.</div>

<div class="gmail_extra"><br></div><div class="gmail_extra">The result seems to be that ECL now can *build* Snark. It would be nice to have some idea about the actual performance, for it might uncover further bugs to be tracked down.</div>

<div class="gmail_extra"><br></div><div class="gmail_extra"><div class="gmail_extra">Also, given that the change is critical enough, it would be nice if Anton could report the results from cl-test-grid (which should run any time this afternoon or tomorrow morning).</div>

</div><div class="gmail_extra"><br></div><div class="gmail_extra">Best,</div><div class="gmail_extra"><br></div><div class="gmail_extra">Juanjo</div><div class="gmail_extra"><div><br></div>-- <br>Instituto de Física Fundamental, CSIC<br>

c/ Serrano, 113b, Madrid 28006 (Spain) <br><a href="http://juanjose.garciaripoll.googlepages.com" target="_blank">http://juanjose.garciaripoll.googlepages.com</a><br>
</div>