0.7.8.28:
authorChristophe Rhodes <csr21@cam.ac.uk>
Sat, 12 Oct 2002 11:45:24 +0000 (11:45 +0000)
committerChristophe Rhodes <csr21@cam.ac.uk>
Sat, 12 Oct 2002 11:45:24 +0000 (11:45 +0000)
ARRAY-HAS-FILL-POINTER-P "should signal an error...", so should be
UNSAFELY-FLUSHABLE, not FLUSHABLE

src/compiler/fndb.lisp
version.lisp-expr

index 5d06047..002b9c3 100644 (file)
   #|: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 ())
index c3b2907..9a14db0 100644 (file)
@@ -18,4 +18,4 @@
 ;;; 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"