<div class="gmail_quote">On Sun, May 9, 2010 at 8:35 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;">

Another early feedback: ECL HEAD can no longer compile OpenAxiom.<br>
More details to follow.</blockquote></div><div><br></div>Yes, sorry for the inconvenience. You just have found that ECL is undergoing a rather dramatic change. I will try to sketch the problems I am causing and solving, but first of all let me apologize for making the CVS/git unstable -- though in full rigor nobody should expect it to be other thing :-)<div>

<br></div><div>What I am doing is re-engineering ECL's database of proclamations, optimizations and inline forms. There are several delicate changes behind</div><div><br></div><div>- Changes in how the compiler environment is structured</div>

<div>- Changes in how we store toplevel macros</div><div>- Changes in the types that ECL's compiler accepts</div><div>- Changes in the allowed proclamations and declarations</div><div>- Removal of some compilation-time side effects</div>

<div>...</div><div><br></div><div>The list is quite long, but right now the most dramatic change was the third one. ECL's compiler used to have a type filter that converted all types in declarations into a very small set. That was too small for practical type inference, but in removing this type filter a few rough corners were also uncovered: functions in the compiler that assumed that reduced set of types.</div>

<div><br></div><div>I am slowly but quite productively updating things, and uploading them in batches so that the test farm can work on the changes and produce some feedback.</div><div><br></div><div>Sorry for the inconvenience</div>

<div><br></div><div>Juanjo</div><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>