[Openmcl-devel] Trunk and released version

[Tim Bradshaw]

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: <https://lists.clozure.com/pipermail/openmcl-devel/attachments/20090813/68d4da9a/attachment.htm>