projects
/
sbcl.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
0.7.12.10:
[sbcl.git]
/
src
/
code
/
early-type.lisp
diff --git
a/src/code/early-type.lisp
b/src/code/early-type.lisp
index
e4df2ee
..
0af4281
100644
(file)
--- 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))
(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)
;;; Similar to MACROEXPAND, but expands DEFTYPEs. We don't bother
;;; returning a second value.
(defun type-expand (form)