On Mon, Feb 6, 2012 at 3:43 PM, Waldek Hebisch <hebisch@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