X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=tests%2Ftype.pure.lisp;h=a7708352c2f0f28161bd5112a967880c6564202e;hb=ab6263cd50869be699c7afea271d626f83a5a27d;hp=e5bd13bc6ef062dbb978502657dd887eeece64b8;hpb=cb4f56b0581f77e20a7d8cb593891c7bd919c3e9;p=sbcl.git

diff --git a/tests/type.pure.lisp b/tests/type.pure.lisp
index e5bd13b..a770835 100644
--- a/tests/type.pure.lisp
+++ b/tests/type.pure.lisp
@@ -167,6 +167,17 @@
 (assert (not (equal (multiple-value-list
                      (subtypep '(function ()) '(function (&rest t))))
                     '(nil t))))
+
 (assert (not (equal (multiple-value-list
                      (subtypep '(function (&rest t)) '(function ())))
                     '(t t))))
+
+(assert (subtypep '(function)
+                  '(function (&optional * &rest t))))
+(assert (equal (multiple-value-list
+                (subtypep '(function)
+                          '(function (t &rest t))))
+               '(nil t)))
+#+nil
+(assert (and (subtypep 'function '(function))
+             (subtypep '(function) 'function)))