From ad461399cb70f01e2f3871373b19b3716864533c Mon Sep 17 00:00:00 2001 From: Christophe Rhodes Date: Sat, 12 Oct 2002 11:45:24 +0000 Subject: [PATCH] 0.7.8.28: ARRAY-HAS-FILL-POINTER-P "should signal an error...", so should be UNSAFELY-FLUSHABLE, not FLUSHABLE --- src/compiler/fndb.lisp | 2 +- version.lisp-expr | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) 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 ()) diff --git a/version.lisp-expr b/version.lisp-expr index c3b2907..9a14db0 100644 --- a/version.lisp-expr +++ b/version.lisp-expr @@ -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" -- 1.7.10.4