I looked at that section and I still don't follow. That section distinguishes between free and bound declarations, but it doesn't prohibit free ignore declarations, does it?
I admit that I am not sure what the UTILITY of a free ignore declaration would be, but I don't see where they are specifically prohibited.
"Scott L. Burson" <Scott@...> wrote:
>On Sun, Dec 26, 2010 at 2:10 PM, Robert P. Goldman
>> That is plausible to me, but I couldn't find an authority in the
>CLHS. Do you have a pointer?
>> "Scott L. Burson" <Scott@...> wrote:
>>>On Sun, Dec 26, 2010 at 10:09 AM, Robert Goldman
>>>> Looking at some macroexpansions, I found what seems to me to be an
>>>> oddity in SBCL's generation of style warnings:
>>>> CL-USER> (defun foo (bar baz)
>>>> (destructuring-bind (a b) bar
>>>> (declare (ignore baz))
>>>> (* a b)))
>>>> ; in: LAMBDA NIL
>>>> ; (IGNORE BAZ)
>>>> ; caught STYLE-WARNING:
>>>> ; The variable BAZ is defined but never used.
>>>The IGNORE declaration has to go immediately within the binding
>>>construct to be effective. In this case that means it has to precede
>>>the DESTRUCTURING-BIND. This is a standard CL rule.
>> Sent from my Android phone with K-9 Mail. Please excuse my brevity.
Sent from my Android phone with K-9 Mail. Please excuse my brevity.