On Mon, Feb 6, 2012 at 3:43 PM, Waldek Hebisch <hebi...@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
------------------------------------------------------------------------------
Try before you buy = See our experts in action!
The most comprehensive online learning library for Microsoft developers
is just $99.99! Visual Studio, SharePoint, SQL - plus HTML5, CSS3, MVC3,
Metro Style Apps, more. Free future releases when you subscribe now!
http://p.sf.net/sfu/learndevnow-dev2
_______________________________________________
Ecls-list mailing list
Ecls-list@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/ecls-list
