X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=tests%2Ftype.pure.lisp;h=31a7edd8546661dd9cbe670ece411a77c6a4ae57;hb=a189a69454ef7635149319ae213b337f17c50d20;hp=fff21144c1fad873636459fee73f6dd58df57084;hpb=62f92bd02e9c04a46893ff9e7b88acdaeab230fa;p=sbcl.git

diff --git a/tests/type.pure.lisp b/tests/type.pure.lisp
index fff2114..31a7edd 100644
--- a/tests/type.pure.lisp
+++ b/tests/type.pure.lisp
@@ -462,3 +462,10 @@
   (assert (subtypep `(rational * -1/2)
                     `(or (integer * -1)
                          (and (rational * -1/2) (not integer))))))
+
+;; for the longest time (at least 05525d3a), single-value-type would
+;; return CHARACTER on this.
+(with-test (:name :single-value-&optional-type)
+  (assert (sb-c::type= (sb-c::single-value-type
+                        (sb-c::values-specifier-type '(values &optional character)))
+                       (sb-c::specifier-type '(or null character)))))