<div class="gmail_quote">On Mon, Feb 6, 2012 at 3:43 PM, Waldek Hebisch <span dir="ltr"><<a href="mailto:hebisch@math.uni.wroc.pl">hebisch@math.uni.wroc.pl</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">

<div id=":1z2">As you can see ECL thinks that<br>
<br>
'(EXPT (/ -1.0 1.0) (/ 1 (/ 2.0 1.0)))'<br>
<br>
produces value of type 'double-float', but of course this is complex.<br>
Since the only declaration is about '|t|' ECL has no reason to<br>
make such an assumption.</div></blockquote></div><br>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.<div>

<br></div><div>Juanjo<br clear="all"><div><br></div>-- <br>Instituto de Física Fundamental, CSIC<br>c/ Serrano, 113b, Madrid 28006 (Spain) <br><a href="http://juanjose.garciaripoll.googlepages.com" target="_blank">http://juanjose.garciaripoll.googlepages.com</a><br>


</div>