From: Christophe Rhodes <csr21@cam.ac.uk>
Date: Tue, 22 Oct 2002 10:57:05 +0000 (+0000)
Subject: 0.7.8.52:
X-Git-Url: http://repo.macrolet.net/gitweb/?a=commitdiff_plain;h=6a3ad3bb6524c7b67b434c92bb40471b71c42d66;p=sbcl.git

0.7.8.52:
	Just a new BUG (and a small NEWS frob)
---

diff --git a/BUGS b/BUGS
index 9ab69bf..192db18 100644
--- a/BUGS
+++ b/BUGS
@@ -1330,6 +1330,23 @@ WORKAROUND:
       (declare (optimize (inhibit-warnings 0) (compilation-speed 2)))
     (lambda (x) (declare (fixnum x)) (if (< x 0) 0 (1- x))))
 
+215: ":TEST-NOT handling by functions"
+  a. FIND and POSITION currently signal errors when given non-NIL for
+     both their :TEST and (deprecated) :TEST-NOT arguments, but by
+     ANSI 17.2 "the consequences are unspecified", which by ANSI 1.4.2
+     means that the effect is "unpredictable but harmless.  It's not
+     clear what that actually means; it may preclude conforming
+     implementations from signalling errors.
+  b. COUNT, REMOVE and the like give priority to a :TEST-NOT argument
+     when conflict occurs.  As a quality of implementation issue, it
+     might be preferable to treat :TEST and :TEST-NOT as being in some
+     sense the same &KEY, and effectively take the first test function in
+     the argument list.
+  c. Again, a quality of implementation issue: it would be good to issue a
+     STYLE-WARNING at compile-time for calls with :TEST-NOT, and a
+     WARNING for calls with both :TEST and :TEST-NOT; possibly this
+     latter should be WARNed about at execute-time too.
+
 DEFUNCT CATEGORIES OF BUGS
   IR1-#:
     These labels were used for bugs related to the old IR1 interpreter.
diff --git a/NEWS b/NEWS
index e0cdea2..60e2155 100644
--- a/NEWS
+++ b/NEWS
@@ -1325,6 +1325,10 @@ changes in sbcl-0.7.9 relative to sbcl-0.7.8:
     so it can be non-toplevel.
   * The fasl file version number has changed (because of the new
     implementation of DEFMACRO).
+  * (mostly) fixed bugs 46b and 46c: sequence functions now check, in
+    safe code, that any length requirement by their type-specifier
+    argument is valid.  The exceptions to this are described in bug
+    213.
   * fixed bugs 46h and 46i: TWO-WAY- and CONCATENATED-STREAM creation
     functions now check the types of their inputs as required by ANSI.
   * fixed bug 48c: SYMBOL-MACROLET signals PROGRAM-ERROR when an
diff --git a/version.lisp-expr b/version.lisp-expr
index 3443d48..6fc150c 100644
--- a/version.lisp-expr
+++ b/version.lisp-expr
@@ -18,4 +18,4 @@
 ;;; versions, especially for internal versions off the main CVS
 ;;; branch, it gets hairier, e.g. "0.pre7.14.flaky4.13".)
 
-"0.7.8.51"
+"0.7.8.52"