ARRAY-HAS-FILL-POINTER-P "should signal an error...", so should be
UNSAFELY-FLUSHABLE, not FLUSHABLE
#|: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 ())
;;; internal versions off the main CVS branch, it gets hairier, e.g.
;;; "0.pre7.14.flaky4.13".)
-"0.7.8.27"
+"0.7.8.28"