Steel Bank Common Lisp

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

Modified Files:
	BUGS version.lisp-expr 
Log Message:
0.7.8.53:
	new BUGS entry
	added draft of LIST-LENGTH-OR-DIE (commented out) since I was
		at one point thinking of actually addressing CSR's
		point about sequence function arg checking


Index: BUGS
===================================================================
RCS file: /cvsroot/sbcl/sbcl/BUGS,v
retrieving revision 1.218
retrieving revision 1.219
diff -u -d -r1.218 -r1.219
--- BUGS	22 Oct 2002 10:57:05 -0000	1.218
+++ BUGS	22 Oct 2002 13:26:10 -0000	1.219
@@ -1347,6 +1347,13 @@
      WARNING for calls with both :TEST and :TEST-NOT; possibly this
      latter should be WARNed about at execute-time too.
 
+216: "debugger confused by frames with invalid number of arguments"
+  In sbcl-0.7.8.51, executing e.g. (VECTOR-PUSH-EXTEND T), BACKTRACE, Q
+  leaves the system confused, enough so that (QUIT) no longer works.
+  It's as though the process of working with the uninitialized slot in
+  the bad VECTOR-PUSH-EXTEND frame causes GC problems, though that may
+  not be the actual problem. (CMU CL 18c doesn't have problems with this.)
+
 DEFUNCT CATEGORIES OF BUGS
   IR1-#:
     These labels were used for bugs related to the old IR1 interpreter.

Index: version.lisp-expr
===================================================================
RCS file: /cvsroot/sbcl/sbcl/version.lisp-expr,v
retrieving revision 1.604
retrieving revision 1.605
diff -u -d -r1.604 -r1.605
--- version.lisp-expr	22 Oct 2002 10:57:05 -0000	1.604
+++ version.lisp-expr	22 Oct 2002 13:26:10 -0000	1.605
@@ -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.52"
+"0.7.8.53"

Update of /cvsroot/sbcl/sbcl/src/code
In directory usw-pr-cvs1:/tmp/cvs-serv22727/src/code

Modified Files:
	late-extensions.lisp 
Log Message:
0.7.8.53:
	new BUGS entry
	added draft of LIST-LENGTH-OR-DIE (commented out) since I was
		at one point thinking of actually addressing CSR's
		point about sequence function arg checking


Index: late-extensions.lisp
===================================================================
RCS file: /cvsroot/sbcl/sbcl/src/code/late-extensions.lisp,v
retrieving revision 1.8
retrieving revision 1.9
diff -u -d -r1.8 -r1.9
--- late-extensions.lisp	2 Sep 2001 17:28:33 -0000	1.8
+++ late-extensions.lisp	22 Oct 2002 13:26:11 -0000	1.9
@@ -19,3 +19,19 @@
 ;;; not improper and which is not circular?
 (defun list-with-length-p (x)
   (values (ignore-errors (list-length x))))
+
+;;; not used in 0.7.8, but possibly useful for defensive programming 
+;;; in e.g. (COERCE ... 'VECTOR)
+;;;(defun list-length-or-die (x)
+;;;  (or (list-length x)
+;;;      ;; not clear how to do this best:
+;;;      ;;   * Should this be a TYPE-ERROR? Colloquially that'd make 
+;;;      ;;     lots of sense, but since I'm not sure how to express
+;;;      ;;     "noncircular list" as a Lisp type expression, coding
+;;;      ;;     it seems awkward.
+;;;      ;;   * Should the ERROR object include the offending value?
+;;;      ;;     Ordinarily that's helpful, but if the user doesn't have
+;;;      ;;     his printer set up to deal with cyclicity, we might not
+;;;      ;;     be doing him a favor by printing the object here.
+;;;      ;; -- WHN 2002-10-19
+;;;      (error "can't calculate length of cyclic list")))

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"