X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;ds=sidebyside;f=tests%2Fmop.impure.lisp;h=f14f7f1c00010b7a2d5836a870c6c52b7b43ddab;hb=76874d05d623e0001cfcf23d2c74f78295ba6cee;hp=e3c23f91d87d5664ac7aae28dbe5187b060e46f4;hpb=0d1030c5fea1986c6383b6be531f95da7ae20644;p=sbcl.git

diff --git a/tests/mop.impure.lisp b/tests/mop.impure.lisp
index e3c23f9..f14f7f1 100644
--- a/tests/mop.impure.lisp
+++ b/tests/mop.impure.lisp
@@ -174,6 +174,13 @@
        (xs (class-direct-subclasses x)))
   (assert (>= (length xs) 1))
   (assert (member (find-class 'logical-pathname) xs)))
+
+;;; BUG 338: "MOP specializers as type specifiers"
+;;;  (reported by Bruno Haible sbcl-devel 2004-06-11)
+(let* ((m (defmethod eql-specialized-method ((x (eql 4.0))) 3.0))
+       (spec (first (sb-mop:method-specializers m))))
+  (assert (not (typep 1 spec)))
+  (assert (typep 4.0 spec)))
 
 ;;;; success
 (sb-ext:quit :unix-status 104)