X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcompiler%2Fgeneric%2Fvm-fndb.lisp;h=2a4857b4a30ab614dcbba2e23128d680417874cc;hb=df679ed627975948b1cee190f4d79c397588c43e;hp=7746eaec0685c9b498d2aeb5b7ade5caeb3024b9;hpb=4e3b57699314dbd3883470d9b196287b178f3e6d;p=sbcl.git diff --git a/src/compiler/generic/vm-fndb.lisp b/src/compiler/generic/vm-fndb.lisp index 7746eae..2a4857b 100644 --- a/src/compiler/generic/vm-fndb.lisp +++ b/src/compiler/generic/vm-fndb.lisp @@ -22,7 +22,8 @@ complex-vector-p base-char-p %standard-char-p %instancep array-header-p - simple-array-p simple-array-unsigned-byte-2-p + simple-array-p simple-array-nil-p + simple-array-unsigned-byte-2-p simple-array-unsigned-byte-4-p simple-array-unsigned-byte-8-p simple-array-unsigned-byte-16-p simple-array-unsigned-byte-32-p simple-array-signed-byte-8-p simple-array-signed-byte-16-p @@ -306,3 +307,7 @@ ;;;; mutator accessors (defknown mutator-self () system-area-pointer (flushable movable)) + +(defknown %data-vector-and-index (array index) + (values (simple-array * (*)) index) + (foldable flushable))