Bug in 7/20/88 (beta) PCL

[larus%paris.Berkeley.EDU@ginger.Berkeley.EDU (James Larus)]

The following method gets (two!) warning messages when compiled:

	(defmethod foo ((a bar)) (declare (ignore a)) nil)

Warning: In defmethod FOO (BAR), there is a
redundant ignore declaration for the A parameter.
Warning: variable A is used yet it was declared ignored

The problem arises because of the useless PROGN that DEFMETHOD inserts
into the body of this method.  (Perhaps you only meant to insert this
form for functions that call CALL-NEXT-METHOD?)

/Jim