X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=tests%2Ftype.pure.lisp;h=4e3ca06eca0b5f67a2d27f68454b00e29c6444fa;hb=007bcd5aac2f3a1e714563bd39f7a2db2d0bf7c2;hp=36019b2355b6f9767f6e3957a52781b12d5ead34;hpb=61e6ba93d83266662a1e17431fab02a981ec6bc8;p=sbcl.git

diff --git a/tests/type.pure.lisp b/tests/type.pure.lisp
index 36019b2..4e3ca06 100644
--- a/tests/type.pure.lisp
+++ b/tests/type.pure.lisp
@@ -400,3 +400,23 @@ ACTUAL ~D DERIVED ~D~%"
 (with-test (:name :opt+rest+key-canonicalization)
   (let ((type '(function (&optional t &rest t &key (:x t) (:y t)) *)))
     (assert (equal type (sb-kernel:type-specifier (sb-kernel:specifier-type type))))))
+
+(with-test (:name :bug-369)
+  (let ((types (mapcar #'sb-c::values-specifier-type
+                       '((values (vector package) &optional)
+                         (values (vector package) &rest t)
+                         (values (vector hash-table) &rest t)
+                         (values (vector hash-table) &optional)
+                         (values t &optional)
+                         (values t &rest t)
+                         (values nil &optional)
+                         (values nil &rest t)
+                         (values sequence &optional)
+                         (values sequence &rest t)
+                         (values list &optional)
+                         (values list &rest t)))))
+    (dolist (x types)
+      (dolist (y types)
+        (let ((i (sb-c::values-type-intersection x y)))
+          (assert (sb-c::type= i (sb-c::values-type-intersection i x)))
+          (assert (sb-c::type= i (sb-c::values-type-intersection i y))))))))