[Openmcl-devel] Trunk and released version

[Gary Byers]

On Thu, 13 Aug 2009, Gail Zacharias wrote:

> At 8/13/2009 07:31 AM, 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
>
> (dolist (x '(1 2 3)) (declare (type fixnum x)) x) provokes no
> complaints.  What's an actual example?

? (defun foo ()
     (declare (optimize (safety 3)))
     (let* ((sum 0))
       (dolist (x '(1 2 3) sum)
         (declare (fixnum x))
         (incf sum x))))

FOO
? (foo)
> Error: value NIL is not of the expected type FIXNUM.
1 > (machine-type)
"i386"