X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcompiler%2Ffndb.lisp;h=002b9c3d9c59eca0bf4b720a9ca73a7a7ac744e3;hb=ad461399cb70f01e2f3871373b19b3716864533c;hp=5d060478a174b2ae07efa1cf7f846e7ebc3e318c;hpb=627c66211b93537e90c08b34b387edbd7e301011;p=sbcl.git diff --git a/src/compiler/fndb.lisp b/src/compiler/fndb.lisp index 5d06047..002b9c3 100644 --- a/src/compiler/fndb.lisp +++ b/src/compiler/fndb.lisp @@ -805,7 +805,7 @@ #|:derive-type #'result-type-last-arg|#) (defknown array-has-fill-pointer-p (array) boolean - (movable foldable flushable)) + (movable foldable unsafely-flushable)) (defknown fill-pointer (vector) index (foldable unsafely-flushable)) (defknown vector-push (t vector) (or index null) ()) (defknown vector-push-extend (t vector &optional index) index ())