0.8.21.31: tweak finalizers, thighten spec further

[sbcl.git] / src / code / weak.lisp

diff --git a/src/code/weak.lisp b/src/code/weak.lisp
index 37b83a1..7268b38 100644 (file)
--- a/src/code/weak.lisp
+++ b/src/code/weak.lisp
@@ -14,17 +14,15 @@
 (defun make-weak-pointer (object)
   #!+sb-doc
   "Allocate and return a weak pointer which points to OBJECT."
-  (declare (values weak-pointer))
   (make-weak-pointer object))
 
 #!-sb-fluid (declaim (inline weak-pointer-value))
 (defun weak-pointer-value (weak-pointer)
   #!+sb-doc
   "If WEAK-POINTER is valid, return the value of WEAK-POINTER and T.
-   If the referent of WEAK-POINTER has been garbage collected, returns
-   the values NIL and NIL."
-  (declare (type weak-pointer weak-pointer)
-          (values t (member t nil)))
+If the referent of WEAK-POINTER has been garbage collected,
+returns the values NIL and NIL."
+  (declare (type weak-pointer weak-pointer))
   ;; We don't need to wrap this with a WITHOUT-GCING, because once we
   ;; have extracted the value, our reference to it will keep the weak
   ;; pointer from becoming broken. We just have to make sure the