[Ecls-list] Miscompiled function

Juan Jose Garcia-Ripoll juanjose.garciaripoll at googlemail.com
Mon Feb 6 16:36:07 UTC 2012

On Mon, Feb 6, 2012 at 3:43 PM, Waldek Hebisch <hebisch at math.uni.wroc.pl>wrote:

> As you can see ECL thinks that
> '(EXPT (/ -1.0 1.0) (/ 1 (/ 2.0 1.0)))'
> produces value of type 'double-float', but of course this is complex.
> Since the only declaration is about '|t|' ECL has no reason to
> make such an assumption.

Thanks. I have found a bug in the type propagator for EXPT and committed a
fix to my local tree. It will be uploaded tonight or tomorrow, depending on
how the test of other fixes proceeds.


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

More information about the ecl-devel mailing list