Custom Query (1030 matches)

CCL currently doesn’t accept the following form:

(defgeneric foo (&key bar &allow-other-keys)
  (:method (&key)
    nil))

complaining that `Lambda list of method #<STANDARD-METHOD FOO NIL> is incompatible with that of the generic function FOO.`

However, section 7.6.4.5 of the spec says “The use of &allow-other-keys need not be consistent across lambda lists. If &allow-other-keys is mentioned in the lambda list of any applicable method or of the generic function, any keyword arguments may be mentioned in the call to the generic function,” which means that the former example should behave the same as

(defgeneric foo (&key bar &allow-other-keys)
  (:method (&key &allow-other-keys)
    nil))

which works.

(The cl-num-utils system in Quicklisp fails to load on CCL due to this behavior. And according to ​the CL Test Grid load failure report, this contributes to 5 other systems in Quicklisp not loading.)

I'm using a suspiciously recent Xcode (ie the app store told me a couple of days ago it had a shiny new version and I foolishly accepted). Likewise 10.7.5 is reasonably recent I think (so all of this may be random Apple changes is what I am trying to say).

I've attached the output from script.

Welcome to Clozure Common Lisp Version 1.9-dev-r15475M-trunk  (LinuxARM32)!

SIP-HASH> (defun barbar (x) (declare (type (unsigned-byte 64) x)) (+ x 1))
BARBAR
SIP-HASH> (typep 1084818905618843912 '(unsigned-byte 64))
T
SIP-HASH> (barbar 1084818905618843912)
; Evaluation aborted on #<TYPE-ERROR #x54D5B08E>.