[Ecls-list] Type propagation

[Juan Jose Garcia-Ripoll]

On Sat, May 29, 2010 at 5:30 AM, Matthew Mondor <mm_lists at pulsar-zone.net>wrote:

> On Fri, 28 May 2010 22:37:59 +0200
> Juan Jose Garcia-Ripoll <juanjose.garciaripoll at googlemail.com> wrote:
>
> > 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.
>
> Does this mean that despite a low safety level declaration, the
> compiler can detect that incorrect/dangerous code would result and
> assertively abort compilation in some cases?


I think so. If you find it useful it can stay beyond the unstable releases.

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/20100529/efe943a3/attachment.html>