Re: declarations in macrolet puzzle

[NGALL@G.BBN.COM]

    Date: 30 Jul 86 6:40:17 PDT
    From: MASINTER.PA@Xerox.COM
    
    (macrolet ((specials () (specials) '(declare (special special-list ,@special-list))))
	    (specials)
		       special-list))
    
     ...

The missing piece to your puzzle is that declarations are expanded
BEFORE any bindings take place (perhaps this should be stated
explicitly in CLtL).  Thus, the call to specials in the body of the
macrolet does NOT refer to the specials being bound in the head of
macrolet.  This is true, not only of bindings made by macrolet, but
also those made by let, flet, etc.

-- Nick