[Ecls-list] Miscompiled function

[Juan Jose Garcia-Ripoll]

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.

Juanjo

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