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
------------------------------------------------------------------------------
Live Security Virtual Conference
Exclusive live event will cover all the ways today's security and
threat landscape has changed and how IT managers can respond. Discussions
will include endpoint security, mobile security and the latest in malware
threats. http://www.accelacomm.com/jaw/sfrnl04242012/114/50122263/
_______________________________________________
Ecls-list mailing list
Ecls-list@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/ecls-list
