[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