Lambda-list congruency bug?

[Martin Boyer <gamin@Moe.McRCIM.McGill.EDU>]

I just merged the following patches from the mailing list into vanilla
Victoria Day PCL and now my PCL doesn't pass the self test!
See excerpt below.

It seems to have something to do with a lambda list congruency test
failing while comparing a :before method with its generic-function.


26 May 89 -- Gregor.pa@Xerox.COM -- EQL bug in Victoria Day PCL
modified by:
7 Sep 89 -- matsj@delfi.UDAC.UU.SE -- A stab at fixing a bug in Victoria Day PCL
	* defs.lisp
	* boot.lisp
	* methods.lisp

20 Jun 89 -- kanderso@DINO.BBN.COM -- recursive cache expanding bug
	* dcode.lisp

13 Jul 89 -- harrisr@turing.cs.rpi.edu -- lambda-list congruency checking
modified by:
07 Aug 89 -- mthome@BBN.COM -- PCL patches (Victoria Day)
	* methods.lisp

07 Aug 89 -- mthome@BBN.COM -- PCL patches (Victoria Day)
	* methods.lisp
	* points.lisp
	* defs.lisp

10 Aug 89 -- mthome@BBN.COM -- More patches
	* std-class.lisp
	* slots.lisp
	* init.lisp
	* fixup.lisp



Anybody else had the same problem?
Should I just remove the call to CHECK-LAMBDA-LIST-CONGRUENCY?

Thanks,

	Martin


;;; Note: Newlines inserted for clarity

> (load "test")
;;; Loading source file "test.lisp"

.......
.......

Testing update-instance-for-redefined-class/make-instances-obsolete(2)...
>>Error: #<Standard-Method UPDATE-INSTANCE-FOR-REDEFINED-CLASS
					    :BEFORE (X-Y-POS T T T) 37333653>
 has neither &key nor &rest in its lambda-list,conflicting with existing methods

CHECK-LAMBDA-LIST-CONGRUENCY:
   Required arg 0 (GENERIC-FUNCTION):
	#<Compiled-Function UPDATE-INSTANCE-FOR-REDEFINED-CLASS EF5547>
   Required arg 1 (METHOD):
	#<Standard-Method UPDATE-INSTANCE-FOR-REDEFINED-CLASS :BEFORE
						    (X-Y-POS T T T) 37333653>
:C  0: Use this method instead (purge the old methods)
:A  1: Abort to Lisp Top Level

-> :b
CHECK-LAMBDA-LIST-CONGRUENCY <- REAL-ADD-METHOD <- ADD-METHOD
 <- REAL-ADD-NAMED-METHOD <- LOAD-DEFMETHOD-INTERNAL <- LOAD-DEFMETHOD
 <- EVAL <- (:INTERNAL LOAD LUCID::LOAD-FROM-STREAM)
 <- (:INTERNAL LOAD LUCID::LOAD-SOURCE-FILE) <- LOAD <- EVAL
 <- SYSTEM:ENTER-TOP-LEVEL
-> :a
Abort to Lisp Top Level
;;; Abnormal exit of load "test.lisp"
Back to Lisp Top Level

> (pcl::bug-report-info)
PCL system date: 5/22/89  Victoria Day PCL
Lisp Implementation type: Lucid Common Lisp
Lisp Implementation version: 3.0.2
*features*: (:PORTABLE-COMMONLOOPS :PCL :COMMON-LISP :LUCID :UNIX :SUN
 		:MC68000 :IEEE-FLOATING-POINT :LCL3.0 :LOOP :EGC :COMPILER)
NIL

--
Martin Boyer                           
McGill Research Centre for Intelligent Machines
McGill University, Montreal, QC
 
gamin@larry.mcrcim.mcgill.edu
gamin@mcgill-vision.uucp