X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcode%2Fearly-type.lisp;h=0af428157eacbfe6d067541c25d03492e2381b45;hb=a74b0bdb483504f6faddf8089f848f61ed94b92a;hp=e4df2ee0d741d2460d9dd089ba267c4d751bafb3;hpb=7ce2c42adf3d62f03086de940adaee48e6161a40;p=sbcl.git

diff --git a/src/code/early-type.lisp b/src/code/early-type.lisp
index e4df2ee..0af4281 100644
--- a/src/code/early-type.lisp
+++ b/src/code/early-type.lisp
@@ -364,6 +364,12 @@
       (error "VALUES type illegal in this context:~%  ~S" x))
     res))
 
+(defun single-value-specifier-type (x)
+  (let ((res (specifier-type x)))
+    (if (eq res *wild-type*)
+        *universal-type*
+        res)))
+
 ;;; Similar to MACROEXPAND, but expands DEFTYPEs. We don't bother
 ;;; returning a second value.
 (defun type-expand (form)