[Ecls-list] Type propagation

[Gabriel Dos Reis]

On Fri, May 28, 2010 at 3:37 PM, Juan Jose Garcia-Ripoll
<juanjose.garciaripoll at googlemail.com> wrote:
> 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.

That is fine: I am on the side of loud failure than silent miscompilation.

-- Gaby