[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...
More information about the ecl-devel