(movable foldable flushable))
(defknown random ((or (float (0.0)) (integer 1)) &optional random-state)
(or (float 0.0) (integer 0)) ())
-(defknown make-random-state (&optional (or (member nil t) random-state))
+(defknown make-random-state (&optional
+ (or (member nil t) random-state unsigned-byte
+ (simple-array (unsigned-byte 8) (*))
+ (simple-array (unsigned-byte 32) (*))))
random-state (flushable))
(defknown random-state-p (t) boolean (movable foldable flushable))
\f
:rename-and-delete :overwrite
:append :supersede nil))
(:if-does-not-exist (member :error :create nil))
- (:external-format keyword))
+ (:external-format external-format-designator))
(or stream null))
(defknown rename-file (pathname-designator filename)
(:verbose t)
(:print t)
(:if-does-not-exist t)
- (:external-format keyword))
+ (:external-format external-format-designator))
t)
(defknown directory (pathname-designator &key (:resolve-symlinks t))
null)
;;; and analogous SBCL extension:
+(defknown sb!impl::%failed-aver (t) nil)
(defknown bug (t &rest t) nil) ; never returns
+
\f
;;;; from the "Miscellaneous" Chapter:
(member t)))
(:verbose t)
(:print t)
- (:external-format keyword)
+ (:external-format external-format-designator)
;; extensions
(:trace-file t)
(defknown get-bytes-consed () unsigned-byte (flushable))
(defknown mask-signed-field ((integer 0 *) integer) integer
(movable flushable foldable))
+
+(defknown array-storage-vector (array) (simple-array * (*))
+ (any))
\f
;;;; magical compiler frobs
())
(defknown style-warn (t &rest t) null ())
+
+;;;; memory barriers
+
+(defknown sb!vm:%compiler-barrier () (values) ())
+(defknown sb!vm:%memory-barrier () (values) ())
+(defknown sb!vm:%read-barrier () (values) ())
+(defknown sb!vm:%write-barrier () (values) ())
+(defknown sb!vm:%data-dependency-barrier () (values) ())
+
+
;;;; atomic ops
(defknown %compare-and-swap-svref (simple-vector index t t) t
(unsafe))