X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;ds=sidebyside;f=src%2Fcompiler%2Ffndb.lisp;h=435eb5f94216daf1ff4ca500b57e92e52539ebb7;hb=7044d862b9d82dc086b2ccb59dc4b372cd731b4e;hp=fc5daa7d34b47a1edd9b91ed6dcb4d5742bf62fa;hpb=ed53de3c94faddfdc7447b3d61fef821c250e8d1;p=sbcl.git diff --git a/src/compiler/fndb.lisp b/src/compiler/fndb.lisp index fc5daa7..435eb5f 100644 --- a/src/compiler/fndb.lisp +++ b/src/compiler/fndb.lisp @@ -381,7 +381,10 @@ (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)) @@ -1385,6 +1388,9 @@ (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)) ;;;; magical compiler frobs