Raymond Toy wrote:
>I hope you can give small examples illustrating the problem.
>
>
Try this:
(defun foo1 (test)
(remove-if #'(lambda (x)
(apply test (list x)))
nil))
(defun foo2 ()
(let (a)
(declare (type (simple-array list 1) a))
(mapc #'(lambda (x)
(bar a))
nil)))
(proclaim '(optimize (debug 3) (safety 3)))
(compile 'foo1)
(compile 'foo2)
In the case of foo2, I only had some difficulties in
trying to understand the error message. Of course
it is great that the compiler now detects this at all.
HTH,
Andreas
