X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcompiler%2Ffndb.lisp;h=410266a80b93b95518a2c514af1a372fa04ecb6c;hb=74cfbf6d0572b7df1b3492563408a7cb3ae103cf;hp=6ae1abe3bd5fb08e170690a62625064fac7c0f45;hpb=c1a334ce597cc041447fe92f2e9adf2a5e295483;p=sbcl.git diff --git a/src/compiler/fndb.lisp b/src/compiler/fndb.lisp index 6ae1abe..410266a 100644 --- a/src/compiler/fndb.lisp +++ b/src/compiler/fndb.lisp @@ -1292,7 +1292,9 @@ null) ;;; and analogous SBCL extension: +(defknown sb!impl::%failed-aver (t) nil) (defknown bug (t &rest t) nil) ; never returns + ;;;; from the "Miscellaneous" Chapter: @@ -1388,6 +1390,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