content-negotiation is better described using OR method-combination

[specializable.git] / specializable.lisp

diff --git a/specializable.lisp b/specializable.lisp
index 477342accaf9fa8c424e4deb8c956b354f02ea93..8d01319b1267e28a5da465263fbb8b4df27163c5 100644 (file)
--- a/specializable.lisp
+++ b/specializable.lisp
@@ -53,6 +53,14 @@
 ;;; TODO: we don't use this class yet, but we might do later
 (defclass specializable-method (standard-method) ())
 
+;;; TODO use info?
+(defun extended-specializer-name-p (name)
+  (and (symbolp name)
+       (get name 'extended-specializer-parser)))
+
+(deftype extended-specializer-name ()
+  `(satisfies extended-specializer-name-p))
+
 (defmacro define-extended-specializer (name (gf-var &rest args) &body body)
   ;; FIXME: unparser
   `(setf (get ',name 'extended-specializer-parser)
@@ -81,15 +89,10 @@
 ;;; from SBCL:
 
 (defmethod sb-pcl:parse-specializer-using-class
-    ((gf specializable-generic-function) name)
-  (cond
-    ((typep name 'sb-mop:specializer) name)
-    ((symbolp name) (find-class name))
-    ((consp name)
-     (case (car name)
-       (eql (sb-mop:intern-eql-specializer (cadr name)))
-       (t (make-extended-specializer name))))
-    (t (error "unexpected specializer name"))))
+    ((gf specializable-generic-function) (specializer-name t))
+  (if (typep specializer-name '(cons extended-specializer-name))
+      (make-extended-specializer specializer-name)
+      (call-next-method)))
 
 (defmethod sb-pcl:make-method-specializers-form
     ((gf specializable-generic-function) method snames env)
@@ -134,7 +137,7 @@
 ;;; - DONE (sort of, using wrappers/g-e-h-k) flushing the cache on class redefinition;
 ;;; - cache thread-safety.
 ;;; - speed
-;;; - interaction with TRACE et al.
+;;; - DONE (in SBCL itself) interaction with TRACE et al.
 (defmethod sb-mop:compute-discriminating-function ((gf specializable-generic-function))
   (cond
     ((not (slot-value gf 'cacheingp))