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


------------------------------------------------------------------------------
Learn Windows Azure Live!  Tuesday, Dec 13, 2011
Microsoft is holding a special Learn Windows Azure training event for 
developers. It will provide a great way to learn Windows Azure and what it 
provides. You can attend the event by watching it streamed LIVE online.  
Learn more at http://p.sf.net/sfu/ms-windowsazure
_______________________________________________
Ecls-list mailing list
Ecls-list@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/ecls-list

Reply via email to