Custom Query (1030 matches)

In version Version 1.4-dev-r12599M-trunk:

Unhandled exception 10 at 0x7fff830e0ad9, context->regs at #xb0526990
Exception occurred while executing foreign code
 at objc_msgSend + 41
? for help
[4020] Clozure CL kernel debugger: :b
[4020] Clozure CL kernel debugger: current thread: tcr = 0xa8f52c0, native thread ID = 0x18e93, interrupts disabled


(#x000000000B5B9628) #x0000300041439F54 : #<Anonymous Function #x0000300041439D1F> + 565
(#x000000000B5B9668) #x00003000410C6014 : #<Function (:INTERNAL SEND-UNAMBIGUOUS-MESSAGE (SHARED-INITIALIZE :AFTER (OBJC-DISPATCH-FUNCTION T))) #x00003000410C5E1F> + 501
(#x000000000B5B96D8) #x000030004055973C : #<Function BREAK-LOOP #x0000300040558DAF> + 2445
(#x000000000B5B9908) #x000030004053C44C : #<Function BREAK-LOOP-HANDLE-ERROR #x000030004053BF4F> + 1277
(#x000000000B5B9978) #x00003000405FDF44 : #<Function %ERROR #x00003000405FDDDF> + 357
(#x000000000B5B99A0) #x00003000405FE92C : #<Function CERROR #x00003000405FE58F> + 925
(#x000000000B5B9A38) #x00003000401B54AC : #<Function CHECK-DEFMETHOD-CONGRUENCY #x00003000401B535F> + 333
(#x000000000B5B9A70) #x00003000401B35FC : #<Function %ADD-STANDARD-METHOD-TO-STANDARD-GF #x00003000401B354F> + 173
(#x000000000B5B9AA8) #x00003000401B6D8C : #<Function ENSURE-METHOD #x00003000401B69BF> + 973
(#x000000000B5B9B10) #x000030004053E5BC : #<Function TOPLEVEL-EVAL #x000030004053E2EF> + 717
(#x000000000B5B9BB0) #x0000300040540A64 : #<Function READ-LOOP #x000030004054024F> + 2069
(#x000000000B5B9DF0) #x0000300040548B5C : #<Function TOPLEVEL-LOOP #x0000300040548AEF> + 109
(#x000000000B5B9E20) #x00003000405DBD14 : #<Function (:INTERNAL MAKE-MCL-LISTENER-PROCESS) #x00003000405DBA8F> + 645
(#x000000000B5B9EB8) #x00003000404D8A6C : #<Function RUN-PROCESS-INITIAL-FORM #x00003000404D879F> + 717
(#x000000000B5B9F48) #x00003000404D9674 : #<Function (:INTERNAL (%PROCESS-PRESET-INTERNAL (PROCESS))) #x00003000404D94EF> + 389
(#x000000000B5B9F98) #x00003000404A116C : #<Function (:INTERNAL THREAD-MAKE-STARTUP-FUNCTION) #x00003000404A103F> + 301
[4020] Clozure CL kernel debugger: 

(From Pascal Costanza, ​http://clozure.com/pipermail/openmcl-devel/2009-September/010353.html)

Clozure Common Lisp seems to be too eager in its checking of congruency of generic function lambda lists and those of their methods.

Consider the following example:

? (defgeneric foo (a b c))
#<STANDARD-GENERIC-FUNCTION FOO #x30004125B93F>
? (add-method
   #'foo
   (make-instance 'standard-method
     :qualifiers '()
     :specializers (list (find-class 't) (find-class 't) (find-class 't))
     :lambda-list '(a b c)
     :function (lambda (&rest args) (print args))))
> Error: Lambda list of method #<STANDARD-METHOD NIL (T T T)>
>        is incompatible with that of the generic function FOO.
>        Method's lambda-list : (A B C)
>        Generic-function's   : (A B C)

While executing: CCL::CHECK-DEFMETHOD-CONGRUENCY, in process  
listener(1).

Indeed, check-defmethod-congruency uses the method-function to check for congruency, while it should actually use method-lambda-list for that purpose (at least in non-standard cases).

As far as I can tell at the moment, this is the only remaining step so that I can provide compatibility in Closer to MOP of the generic function invocation protocol to the specification in AMOP.