<div class="gmail_quote">On Fri, May 28, 2010 at 10:28 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;">

Ok, thanks for the update!  I'll build OpenAxiom later and report<br>
whatever I found.</blockquote></div><br clear="all">One thing I have done is to implement more aggressive warnings about type incompatibilities: when the type propagator finds that an argument to a function does not have the expected type, it will issue a warning. Not a style warning, but one that will force compilation to abort.<div>

<br><div>I did this to minimize the risk of wrong optimizations and also to detect bugs in the proclamations and in the functions that do the guessing. I already spotted a few problems thanks to this policy.<div><br></div>

<div>What I really want to say is just that OpenAxiom, Maxima and other large programs might fail to build, ending with one of those warnings, even though ECL swallowed them before.</div><div><br></div><div>Juanjo<br><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>
</div></div></div></div>