<div class="gmail_quote">On Tue, Jun 26, 2012 at 10:47 PM, Eric Marsden <span dir="ltr"><<a href="mailto:eric.marsden@free.fr" target="_blank">eric.marsden@free.fr</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">

Hi,<br>
<br>
ECL (Embeddable Common-Lisp) 12.5.1 (git:6e1c455e5207b3592125c52a7ec39fa353bc8a9d)<br>
> (lambda (p1)<br>
    (declare (type (short-float 0.0 43225.234) p1))<br>
    (functionp p1))<br>
#<bytecompiled-function 0000000003ad1370><br>
> (funcall (compile nil *) 43225.234)</blockquote><div><br></div><div>Fixed in CVS. 43225.234 was printed as a "double" in the C code and thus the comparison between 43225.234 and the associated C constant failed.</div>

<div><br></div><div>Juanjo</div></div>