[Ecls-list] BUG: incorrect checking of EQL types
Eric Marsden
eric.marsden at free.fr
Sun Dec 18 17:19:58 UTC 2011
Hi,
A bug in type checking.
,----
| ECL (Embeddable Common-Lisp) 11.1.1 (git:e786001fd99e2713feacf53484c4350442f8552a)
| > (defun foo (a)
| (declare (type (eql #*1) a))
| a)
| FOO
| > (compile 'foo)
| ;;; OPTIMIZE levels: Safety=2, Space=0, Speed=3, Debug=0
| ;;;
| ;;; End of Pass 1.
| FOO
| NIL
| NIL
| > (foo #*1)
| Condition of type: TYPE-ERROR
| #*1 is not of type (EQL #*1).
`----
--
Eric Marsden
More information about the ecl-devel
mailing list