[Openmcl-devel] Trunk and released version
tfb at tfeb.org
Thu Aug 13 13:28:29 UTC 2009
On 13 Aug 2009, at 12:31, Arthur W Cater wrote:
> a form like
> (dolist (X list-of-xs expr-not-using-X)
> (declare (type mytype X))
> provoking a complaint that NIL is not of type MYTYPE
I'm pretty sure that's not a bug. X is defined to be bound to NIL
when the result-form is evaluated. So unless NIL is an instance of
MYTYPE your declaration is wrong.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Openmcl-devel