[Ecls-list] Type propagation

[Juan Jose Garcia-Ripoll]

On Fri, May 28, 2010 at 10:28 PM, Gabriel Dos Reis <
gdr at integrable-solutions.net> wrote:

> Ok, thanks for the update!  I'll build OpenAxiom later and report
> whatever I found.


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.

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.

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.

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/20100528/a5bc472c/attachment.html>