In-reply-to: Your message of Mon, 01 Dec 86 22:04:00 EST. <BROOKS.12259459812.BABYL@MIT-OZ>
>> (defun foo (a s v)
>> (progv s v
>> (declare (special a))
>> (print a)))
>> The binding of `a' during the call to foo is lexical, but the
>> reference in (print a) is dynamic.
Aren't declarations illegal before a progv body?