Issue: PROCLAIM-LEXICAL (Version 7)

[Eric Benson <eb@lucid.com>]

   Date: Mon, 26 Sep 88 15:44 EDT
   From: Kent M Pitman <KMP@STONY-BROOK.SCRC.Symbolics.COM>

   Does the following look ok to you?

     #1: (proclaim '(lexical x))
	 (proclaim '(special y))
	 (setq x 1 y 2)
	 (defun tst ()
	   (let ((x 3) (y 4))
	     (locally (declare (special x) (lexical y))
		      (list x y
			    (funcall (let ((x 5) (y 6))
				       #'(lambda () (list x y))))))))
	 (tst) => (1 2 (5 4))

I think that's (1 2 (5 6)).