[Openmcl-devel] Trunk and released version

Tim Bradshaw 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))
>        stuff-involving-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...
URL: <http://lists.clozure.com/pipermail/openmcl-devel/attachments/20090813/68d4da9a/attachment.html>


More information about the Openmcl-devel mailing list