<div class="gmail_quote">On Sun, Mar 28, 2010 at 9:03 PM, Gabriel Dos Reis <span dir="ltr"><<a href="mailto:gdr@integrable-solutions.net">gdr@integrable-solutions.net</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
<div><div></div><div class="h5"> Proclamation is used a lot by OpenAxiom in the hope of helping the</div></div>
Lisp compiler<br>
generate more efficient code.<br></blockquote><div><br></div><div>I did not say that it can not be done. I just said that PROCLAIM is only working fully when the compiler is loaded.</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">

The way it is used by OpenAxiom is schematized by Waldek's example.<br>
And it works<br>
well with CLisp, SBCL, and GCL.  For us, it is important that it works<br>
well with ECL<br>
too.  Given the above explanation, how what is your recommendation to get the<br>
proclamation used by the compiler?  Is there a way to 'preload' the compiler<br>
persistently in the preliminary 'lisp' image that we build prior to the Boot<br>
translator?<br></blockquote><div><br></div>If you are executing a PROCLAIM form then why not execute (REQUIRE 'CMP)?<br><br><div></div></div><div>Juanjo</div><br>-- <br>Instituto de Física Fundamental, CSIC<br>c/ Serrano, 113b, Madrid 28006 (Spain) <br>
<a href="http://tream.dreamhosters.com">http://tream.dreamhosters.com</a><br>