[Sbcl-commits] CVS: sbcl BUGS,1.217,1.218 NEWS,1.178,1.179 version.lisp-expr,1.603,1.604

[Christophe R. <cr...@us...>]

Update of /cvsroot/sbcl/sbcl
In directory usw-pr-cvs1:/tmp/cvs-serv21266

Modified Files:
	BUGS NEWS version.lisp-expr 
Log Message:
0.7.8.52:
	Just a new BUG (and a small NEWS frob)


Index: BUGS
===================================================================
RCS file: /cvsroot/sbcl/sbcl/BUGS,v
retrieving revision 1.217
retrieving revision 1.218
diff -u -d -r1.217 -r1.218
--- BUGS	20 Oct 2002 09:17:31 -0000	1.217
+++ BUGS	22 Oct 2002 10:57:05 -0000	1.218
@@ -1330,6 +1330,23 @@
       (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.

Index: NEWS
===================================================================
RCS file: /cvsroot/sbcl/sbcl/NEWS,v
retrieving revision 1.178
retrieving revision 1.179
diff -u -d -r1.178 -r1.179
--- NEWS	20 Oct 2002 09:10:17 -0000	1.178
+++ NEWS	22 Oct 2002 10:57:05 -0000	1.179
@@ -1325,6 +1325,10 @@
     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

Index: version.lisp-expr
===================================================================
RCS file: /cvsroot/sbcl/sbcl/version.lisp-expr,v
retrieving revision 1.603
retrieving revision 1.604
diff -u -d -r1.603 -r1.604
--- version.lisp-expr	21 Oct 2002 05:37:46 -0000	1.603
+++ version.lisp-expr	22 Oct 2002 10:57:05 -0000	1.604
@@ -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"