X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcode%2Fearly-type.lisp;h=1b395f1830bda6c792b813412e607f5eb1e038dc;hb=492dce07cf27b3cbee8ce4800c938fcb884aa53e;hp=5b761c06ab1dcd4044cd039fd13536cbf10dbfbd;hpb=f066ad2b0b89c016ab9ceaac6de0758e4eb4c1fb;p=sbcl.git

diff --git a/src/code/early-type.lisp b/src/code/early-type.lisp
index 5b761c0..1b395f1 100644
--- a/src/code/early-type.lisp
+++ b/src/code/early-type.lisp
@@ -134,8 +134,14 @@
             (:include args-type
                       (class-info (type-class-or-lose 'values)))
             (:constructor %make-values-type)
+            (:predicate %values-type-p)
             (:copier nil)))
 
+(declaim (inline value-type-p))
+(defun values-type-p (x)
+  (or (eq x *wild-type*)
+      (%values-type-p x)))
+
 (defun-cached (make-values-type-cached
                :hash-bits 8
                :hash-function (lambda (req opt rest allowp)