From: Douglas K. <sn...@us...> - 2015-04-20 22:22:31
|
The branch "master" has been updated in SBCL: via 9688098580f84d3e7d5c080d217c4991662edc36 (commit) from 88b273a5e022c88ed2529323a4c3b69b56ad8b5c (commit) - Log ----------------------------------------------------------------- commit 9688098580f84d3e7d5c080d217c4991662edc36 Author: Douglas Katzman <do...@go...> Date: Mon Apr 20 18:22:35 2015 -0400 Add FIXME at comment which disagrees with reality. --- src/code/type-class.lisp | 5 +++++ 1 files changed, 5 insertions(+), 0 deletions(-) diff --git a/src/code/type-class.lisp b/src/code/type-class.lisp index c267916..898fb52 100644 --- a/src/code/type-class.lisp +++ b/src/code/type-class.lisp @@ -92,6 +92,11 @@ ;; The ARG1 method is only called when the first argument is in its ;; class, and the ARG2 method is only called when called when the ;; second type is. If either is specified, both must be. + ;; FIXME: "both must be" is false of CLASSOID type-class. + ;; Figure out if this is a comment bug or a logic bug. + ;; * (type-class-complex-subtypep-arg1 (type-class-or-lose 'classoid)) => NIL + ;; * (type-class-complex-subtypep-arg2 (type-class-or-lose 'classoid)) + ;; => #<FUNCTION CLASSOID-COMPLEX-SUBTYPEP-ARG2-TYPE-METHOD> (simple-subtypep #'must-supply-this :type function) (complex-subtypep-arg1 nil :type (or function null)) (complex-subtypep-arg2 nil :type (or function null)) ----------------------------------------------------------------------- hooks/post-receive -- SBCL |