[Ecls-list] Bug in SHORT-FLOAT argument type checks

[Eric Marsden]

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)
;;; OPTIMIZE levels: Safety=2, Space=0, Speed=3, Debug=0
;;;
;;; End of Pass 1.
Condition of type: TYPE-ERROR
43225.234 is not of type (SHORT-FLOAT 0.0 43225.234).


This is on Linux/AMD64.

-- 
Eric Marsden