On Tue, Jun 26, 2012 at 10:47 PM, Eric Marsden <eric.marsden@free.fr> wrote:
Hi,

ECL (Embeddable Common-Lisp) 12.5.1 (git:6e1c455e5207b3592125c52a7ec39fa353bc8a9d)
> (lambda (p1)
   (declare (type (short-float 0.0 43225.234) p1))
   (functionp p1))
#<bytecompiled-function 0000000003ad1370>
> (funcall (compile nil *) 43225.234)

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.

Juanjo