GRINDEF bites the bag on LET

["Guy L. Steele, Jr." <GLS at MIT-AI>]

GIRINDEF seem to lose completely on LET-forms.  For example:


(DEFUN OPTIMIZE-0 (FUNCLIST TSTLIST) 
  (CONS (LIST 'DEFUN
	      (CAR (CAR FUNCLIST))
	      (CADR (CAR FUNCLIST))
	      (LET ((SEXPR-0 (LET ((BODY (CDDR (CAR FUNCLIST)))) (COND ((NULL (CDR BODY)) (CAR BODY)) (T (CONS '
														PROGN BODY)))))) 
		 (COND ((ATOM SEXPR-0) SEXPR-0) (T (EXPAND-0 SEXPR-0 TSTLIST NIL NIL)))))
	(COND ((NULL (CDR FUNCLIST)) NIL) (T (OPTIMIZE-0 (CDR FUNCLIST) TSTLIST)))))

Looking at the code, I notice that the bindings of LET are ground as a block.
The bug may be related to this.  In any case, I object loudly to this anyway.
If all the variables won't fit on one line, I want them all on separate
lines where I can see them by a simple vertical scan.  (Same goes for
arguments to functions, right?)