[Ecls-list] Megapatches ahead

[Juan Jose Garcia-Ripoll]

On Sun, May 9, 2010 at 8:35 PM, Gabriel Dos Reis <
gdr at integrable-solutions.net> wrote:

> Another early feedback: ECL HEAD can no longer compile OpenAxiom.
> More details to follow.


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 :-)

What I am doing is re-engineering ECL's database of proclamations,
optimizations and inline forms. There are several delicate changes behind

- Changes in how the compiler environment is structured
- Changes in how we store toplevel macros
- Changes in the types that ECL's compiler accepts
- Changes in the allowed proclamations and declarations
- Removal of some compilation-time side effects
...

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.

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.

Sorry for the inconvenience

Juanjo

-- 
Instituto de Física Fundamental, CSIC
c/ Serrano, 113b, Madrid 28006 (Spain)
http://tream.dreamhosters.com
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman.common-lisp.net/pipermail/ecl-devel/attachments/20100509/4123c6cd/attachment.html>