[armedbear-ticket] [armedbear] #242: Unused &key warnings in defmethod forms should not cause style-warnings

[armedbear]

#242: Unused &key warnings in defmethod forms should not cause style-warnings
-----------------------+----------------------------------------------------
 Reporter:  rschlatte  |       Owner:  ehuelsmann
     Type:  defect     |      Status:  new       
 Priority:  minor      |   Milestone:            
Component:  compiler   |     Version:            
 Keywords:             |  
-----------------------+----------------------------------------------------
 CLHS 7.6.5 says:  "The lambda list congruence rules require that each
 method accept all of the keyword arguments mentioned after &key in the
 generic function definition, by accepting them explicitly, by specifying
 &allow-other-keys, or by specifying &rest but not &key."

 Currently, when compiling a file containing the form

 {{{(defmethod foo ((x fixnum) &key y z) x)}}}

 we get style warnings about unused variables y and z.  I think that these
 style warnings can be safely elided, since a typo in the arglist will lead
 to another style warning "Undefined variable A assumed special".

-- 
Ticket URL: <http://trac.common-lisp.net/armedbear/ticket/242>
armedbear <http://common-lisp.net/project/armedbear>
armedbear