Steel Bank Common Lisp

Update of /cvsroot/sbcl/sbcl
In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv24161

Modified Files:
	BUGS NEWS package-data-list.lisp-expr version.lisp-expr 
Log Message:
0.8.16.11: Partial fix for #318 & more incompatible changes
            * Robustify STYLE-WARNINGs and compiler messages
               against circular objects and other nasties.
            * In the process replace *COMPILER-ERROR-PRINT-FOO* with
               *COMPILER-PRINT-VARIABLE-ALIST*, remove support for
               already depracated *DEBUG-PRINT-FOO*s and move both
               printer control alists to SB-EXT.
            * Update the fine manual.




Index: BUGS
===================================================================
RCS file: /cvsroot/sbcl/sbcl/BUGS,v
retrieving revision 1.422
retrieving revision 1.423
diff -u -d -r1.422 -r1.423
--- BUGS	22 Oct 2004 15:11:21 -0000	1.422
+++ BUGS	28 Oct 2004 14:29:12 -0000	1.423
@@ -1217,15 +1217,20 @@
 318: "stack overflow in compiler warning with redefined class"
   reported by Bruno Haible sbcl-devel "various SBCL bugs" from CLISP
   test suite.
-    (setq *print-pretty* nil)
     (defstruct foo a)
     (setf (find-class 'foo) nil)
     (defstruct foo slot-1)
-  gives 
-    ...#<SB-KERNEL:STRUCTURE-CLASSOID #<SB-KERNEL:STRUCTURE-CLASSOID #<SB-KERNEL:STRUCTURE-CLASSOID #<SB-KERNEL:STRUCTUREControl stack guard page temporarily disabled: proceed with caution
-  (it's not really clear what it should give: is (SETF FIND-CLASS)
-  meant to be enough to delete structure classes from the system?
-  Giving a stack overflow is definitely suboptimal, though.)
+  This used to give a stack overflow from within the printer, which has
+  been fixed as of 0.8.16.11. Current result:
+    ; caught ERROR:
+    ;   can't compile TYPEP of anonymous or undefined class:
+    ;     #<SB-KERNEL:STRUCTURE-CLASSOID FOO>
+    ...
+    debugger invoked on a TYPE-ERROR in thread 19973:
+      The value NIL is not of type FUNCTION.
+
+  CSR notes: it's not really clear what it should give: is (SETF FIND-CLASS)
+    meant to be enough to delete structure classes from the system?
 
 319: "backquote with comma inside array"
   reported by Bruno Haible sbcl-devel "various SBCL bugs" from CLISP

Index: NEWS
===================================================================
RCS file: /cvsroot/sbcl/sbcl/NEWS,v
retrieving revision 1.644
retrieving revision 1.645
diff -u -d -r1.644 -r1.645
--- NEWS	27 Oct 2004 16:39:55 -0000	1.644
+++ NEWS	28 Oct 2004 14:29:15 -0000	1.645
@@ -1,6 +1,15 @@
 changes in sbcl-0.8.17 relative to sbcl-0.8.16:
   * minor incompatible change: BASE-CHAR no longer names a class;
     however, CHARACTER continues to do so, as required by ANSI.
+  * minor incompatible change: SB-DEBUG:*DEBUG-PRINT-FOO* variables
+    are no longer supported, and SB-DEBUG:*DEBUG-PRINT-VARIABLE-ALIST*
+    has been moved to the SB-EXT package (temporarily re-exported from
+    SB-DEBUG).
+  * minor incompatible change: SB-C::*COMPILER-ERROR-PRINT-FOO* variables
+    are no longer supported: use SB-EXT:*COMPILER-PRINT-VARIABLE-ALIST*
+    instead. 
+  * bug fix: Cyclic structures and unprintable objects in compiler
+    messages no longer cause errors. (reported by Bruno Haible)
   * bug fix: READ, READ-PRESERVING-WHITESPACE, READ-DELIMITED-LIST,
     and READ-FROM-STRING all now return a primary value of NIL if
     *READ-SUPPRESS* is true.  (reported by Bruno Haible for CMUCL)

Index: package-data-list.lisp-expr
===================================================================
RCS file: /cvsroot/sbcl/sbcl/package-data-list.lisp-expr,v
retrieving revision 1.293
retrieving revision 1.294
diff -u -d -r1.293 -r1.294
--- package-data-list.lisp-expr	27 Oct 2004 21:36:30 -0000	1.293
+++ package-data-list.lisp-expr	28 Oct 2004 14:29:17 -0000	1.294
@@ -365,10 +365,9 @@
 is still mixed indiscriminately with low-level internal implementation stuff
 like *STACK-TOP-HINT* and unsupported stuff like *TRACED-FUN-LIST*."
       :use ("CL" "SB!EXT" "SB!INT" "SB!SYS" "SB!KERNEL")
+      :reexport ("*DEBUG-PRINT-VARIABLE-ALIST*")
       :export ("*DEBUG-BEGINNER-HELP-P*"
 	       "*DEBUG-CONDITION*"
-	       "*DEBUG-PRINT-LENGTH*" "*DEBUG-PRINT-LEVEL*"
-	       "*DEBUG-PRINT-VARIABLE-ALIST*"
 	       "*DEBUG-READTABLE*" "*DEBUG-HELP-STRING*"
 	       "*FLUSH-DEBUG-ERRORS*" "*IN-THE-DEBUGGER*"
 	       "*TRACE-INDENTATION-STEP*" "*MAX-TRACE-INDENTATION*"
@@ -555,6 +554,10 @@
 	       "*GC-RUN-TIME*"
 	       "PURIFY"
 
+               ;; Customizing printing of compiler and debugger messages
+               "*COMPILER-PRINT-VARIABLE-ALIST*"
+               "*DEBUG-PRINT-VARIABLE-ALIST*"
+
                ;; Hooks into init & save sequences
                "*INIT-HOOKS*" "*SAVE-HOOKS*"
 
@@ -848,6 +851,7 @@
 	       "BINDING*"
 	       "!DEF-BOOLEAN-ATTRIBUTE"
 	       "WITH-REBOUND-IO-SYNTAX"
+	       "WITH-SANE-IO-SYNTAX"
 
 	       ;; ..and CONDITIONs..
 	       "BUG"

Index: version.lisp-expr
===================================================================
RCS file: /cvsroot/sbcl/sbcl/version.lisp-expr,v
retrieving revision 1.1873
retrieving revision 1.1874
diff -u -d -r1.1873 -r1.1874
--- version.lisp-expr	27 Oct 2004 21:36:32 -0000	1.1873
+++ version.lisp-expr	28 Oct 2004 14:29:19 -0000	1.1874
@@ -17,4 +17,4 @@
 ;;; checkins which aren't released. (And occasionally for internal
 ;;; versions, especially for internal versions off the main CVS
 ;;; branch, it gets hairier, e.g. "0.pre7.14.flaky4.13".)
-"0.8.16.10"
+"0.8.16.11"