Steel Bank Common Lisp

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

Modified Files:
	BUGS INSTALL NEWS TLA version.lisp-expr 
Log Message:
0.7.7.16:
	Fix bug 113
	... allow logical hosts to be dumped, as references to the name
		of the host
	... test for dumping behaviour
	Fix bug 174
	... when the bad directive character has a name, print it as
		part of the error message
	Save a massive 20k or so on core size by zapping globaldb
		entries for cold-init symbols
	Various text file frobs and comments


Index: BUGS
===================================================================
RCS file: /cvsroot/sbcl/sbcl/BUGS,v
retrieving revision 1.182
retrieving revision 1.183
diff -u -d -r1.182 -r1.183
--- BUGS	4 Sep 2002 13:59:54 -0000	1.182
+++ BUGS	5 Sep 2002 13:15:48 -0000	1.183
@@ -582,25 +582,6 @@
   type declarations are supposed to be treated as assertions unless
   SAFETY 0, so we should be getting a TYPE-ERROR.
 
-113:
-  reported by Martin Atzmueller 2001-06-25; originally from CMU CL bugs
-  collection:
-    (in-package :cl-user)
-    ;;; From: David Gadbois <gadbois@...>
-    ;;;
-    ;;; Logical pathnames aren't externalizable.
-    ;;; Test case:
-    (let ((tempfile "/tmp/test.lisp"))
-      (setf (logical-pathname-translations "XXX")
-            '(("XXX:**;*.*" "/tmp/**/*.*")))
-      (with-open-file (out tempfile :direction :output)
-        (write-string "(defvar *path* #P\"XXX:XXX;FOO.LISP\")" out))
-      (compile-file tempfile))
-  The error message in sbcl-0.6.12.42 is
-    ; caught ERROR:
-    ;   (while making load form for #<SB-IMPL::LOGICAL-HOST "XXX">)
-    ; A logical host can't be dumped as a constant: #<SB-IMPL::LOGICAL-HOST "XXX">
-
 115:
   reported by Martin Atzmueller 2001-06-25; originally from CMU CL bugs
   collection:
@@ -1086,19 +1067,6 @@
   COMPILE and COMPILE-FILE returned FAILURE-P=T for perfectly legal
   code. Since then the warning has been downgraded to STYLE-WARNING, 
   so it's still a bug but at least it's a little less annoying.
-
-174:
-  The error message from attempting to use a #\Return format
-  directive:
-    (format nil "~^M") ; replace "^M" with a literal #\Return
-      debugger invoked on condition of type SB-FORMAT::FORMAT-ERROR:
-      error in format: 		 unknown format directive
-      ~
-       ^
-  is not terribly helpful; this is more noticeable than parallel cases
-  with e.g. #\Backspace because of the differing newline conventions
-  on various operating systems. (reported by Harald Hanche-Olsen on
-  cmucl-help 2002-05-31)
 
 176:
   reported by Alexey Dejneka 08 Jun 2002 in sbcl-devel:

Index: INSTALL
===================================================================
RCS file: /cvsroot/sbcl/sbcl/INSTALL,v
retrieving revision 1.8
retrieving revision 1.9
diff -u -d -r1.8 -r1.9
--- INSTALL	15 Jul 2002 20:52:47 -0000	1.8
+++ INSTALL	5 Sep 2002 13:15:49 -0000	1.9
@@ -33,7 +33,7 @@
   2. Copy sbcl to /usr/bin or /usr/local/bin.
   3. Optionally copy sbcl.1 to /usr/man/man1 or /usr/local/man/man1.
 The script install.sh does these for you (choosing the /usr/local
-subdirectory) in each case.
+subdirectory in each case).
 
 
 IF YOU HAVE A SOURCE DISTRIBUTION:
@@ -50,6 +50,11 @@
 			host lisp = SBCL itself
 		os = OpenBSD 2.6, 2.7, 2.8, 2.9, and 3.0
 			host lisp = SBCL itself
+	cpu = alpha
+		os = Debian GNU/Linux 2.2 with libc >= 2.1
+			host lisp = SBCL itself
+		os = Tru64 5.1
+			host lisp = SBCL itself
 	cpu = sparc
 		os = Debian GNU/Linux 2.2 with libc >= 2.2
 			host lisp = SBCL itself
@@ -60,8 +65,8 @@
 			host lisp = OpenMCL 0.12
 			host lisp = SBCL itself
 
-It is known not to build under CLISP because of (as of early June 2002)
-bugs in the CLISP garbage collector.
+It is known not to build under CLISP (as of early June 2002) because
+of bugs in the CLISP garbage collector.
 
 Reports of other systems that it works on (or doesn't work on, for
 that matter), or help in making it run on more systems, would be

Index: NEWS
===================================================================
RCS file: /cvsroot/sbcl/sbcl/NEWS,v
retrieving revision 1.153
retrieving revision 1.154
diff -u -d -r1.153 -r1.154
--- NEWS	26 Aug 2002 15:02:15 -0000	1.153
+++ NEWS	5 Sep 2002 13:15:49 -0000	1.154
@@ -1254,6 +1254,11 @@
   * fixed bug 120a: The compiler now deals correctly with IFs where
     the consequent is the same as the alternative, instead of
     misderiving the return type. (thanks to Alexey Dejneka)
+  * fixed bug 113: Logical pathnames are now dumpable (the logical
+    host is resolved at load-time, throwing an error if it is not
+    found).
+  * fixed bug 174: FORMAT's error message is slightly clearer when a
+    non-printing character is used in a format directive.
 
 planned incompatible changes in 0.7.x:
 * When the profiling interface settles down, maybe in 0.7.x, maybe

Index: TLA
===================================================================
RCS file: /cvsroot/sbcl/sbcl/TLA,v
retrieving revision 1.2
retrieving revision 1.3
diff -u -d -r1.2 -r1.3
--- TLA	12 Aug 2002 13:54:50 -0000	1.2
+++ TLA	5 Sep 2002 13:15:49 -0000	1.3
@@ -24,6 +24,7 @@
 	N	new: number, as in e.g. N-PASSES or N-WORD-BITS
 		old: conventional prefix for temporary variables used to
 			implement evaluate-only-once semantics in macros
+	NLX	non-local exit (in compiler IR2)
 	SB	storage base (in compiler IR2)
 	SC	storage class (in compiler IR2)
 	TN	temporary name (?) (in compiler IR2)

Index: version.lisp-expr
===================================================================
RCS file: /cvsroot/sbcl/sbcl/version.lisp-expr,v
retrieving revision 1.526
retrieving revision 1.527
diff -u -d -r1.526 -r1.527
--- version.lisp-expr	5 Sep 2002 11:42:17 -0000	1.526
+++ version.lisp-expr	5 Sep 2002 13:15:49 -0000	1.527
@@ -18,4 +18,4 @@
 ;;; for internal versions, especially for internal versions off the
 ;;; main CVS branch, it gets hairier, e.g. "0.pre7.14.flaky4.13".)
 
-"0.7.7.15"
+"0.7.7.16"

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

Modified Files:
	dump.impure-cload.lisp 
Log Message:
0.7.7.16:
	Fix bug 113
	... allow logical hosts to be dumped, as references to the name
		of the host
	... test for dumping behaviour
	Fix bug 174
	... when the bad directive character has a name, print it as
		part of the error message
	Save a massive 20k or so on core size by zapping globaldb
		entries for cold-init symbols
	Various text file frobs and comments


Index: dump.impure-cload.lisp
===================================================================
RCS file: /cvsroot/sbcl/sbcl/tests/dump.impure-cload.lisp,v
retrieving revision 1.1
retrieving revision 1.2
diff -u -d -r1.1 -r1.2
--- dump.impure-cload.lisp	9 Mar 2002 04:50:09 -0000	1.1
+++ dump.impure-cload.lisp	5 Sep 2002 13:15:52 -0000	1.2
@@ -49,4 +49,14 @@
 (assert (equalp (foo-x *foo*) '("X")))
 (assert (eql (foo-y *foo*) *foo*))
 
+;;; Logical pathnames should be dumpable, too, but what does it mean?
+;;; As of sbcl-0.7.7.16, we've taken dumping the host part to mean
+;;; dumping a reference to the name of the host (much as dumping a
+;;; symbol involves dumping a reference to the name of its package).
+(eval-when (:compile-toplevel :load-toplevel :execute)
+  (setf (logical-pathname-translations "MY-LOGICAL-HOST")
+	(list '("**;*.*.*" "/tmp/*.*"))))
+
+(defparameter *path* #p"MY-LOGICAL-HOST:FOO;BAR.LISP")
+
 (sb-ext:quit :unix-status 104) ; success

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

Modified Files:
	cold-init.lisp late-format.lisp pathname.lisp 
	target-format.lisp 
Log Message:
0.7.7.16:
	Fix bug 113
	... allow logical hosts to be dumped, as references to the name
		of the host
	... test for dumping behaviour
	Fix bug 174
	... when the bad directive character has a name, print it as
		part of the error message
	Save a massive 20k or so on core size by zapping globaldb
		entries for cold-init symbols
	Various text file frobs and comments


Index: cold-init.lisp
===================================================================
RCS file: /cvsroot/sbcl/sbcl/src/code/cold-init.lisp,v
retrieving revision 1.35
retrieving revision 1.36
diff -u -d -r1.35 -r1.36
--- cold-init.lisp	23 Jul 2002 17:22:36 -0000	1.35
+++ cold-init.lisp	5 Sep 2002 13:15:50 -0000	1.36
@@ -22,8 +22,8 @@
 ;;; anything whose name matches a magic character pattern is
 ;;; uninterned.
 ;;;
-;;; FIXME: should also go through globaldb (and perhaps other tables)
-;;; blowing away associated entries
+;;; FIXME: Are there other tables that need to have entries removed?
+;;; What about symbols of the form DEF!FOO?
 (defun !unintern-init-only-stuff ()
   (do ((any-changes? nil nil))
       (nil)
@@ -35,6 +35,13 @@
 			 (string= name "*!" :end1 2 :end2 2)))
 	    (/show0 "uninterning cold-init-only symbol..")
 	    (/primitive-print name)
+	    ;; FIXME: Is this (FIRST (LAST *INFO-ENVIRONMENT*)) really
+	    ;; meant to be an idiom to use?  Is there a more obvious
+	    ;; name for this? [e.g. (GLOBAL-ENVIRONMENT)?]
+	    (do-info ((first (last *info-environment*))
+			    :name entry :class class :type type)
+	      (when (eq entry symbol)
+		(clear-info class type entry)))
 	    (unintern symbol package)
 	    (setf any-changes? t)))))
     (unless any-changes?

Index: late-format.lisp
===================================================================
RCS file: /cvsroot/sbcl/sbcl/src/code/late-format.lisp,v
retrieving revision 1.12
retrieving revision 1.13
diff -u -d -r1.12 -r1.13
--- late-format.lisp	10 May 2002 10:48:34 -0000	1.12
+++ late-format.lisp	5 Sep 2002 13:15:51 -0000	1.13
@@ -225,7 +225,8 @@
        (if expander
 	   (funcall expander directive more-directives)
 	   (error 'format-error
-		  :complaint "unknown directive"))))
+		  :complaint "unknown directive ~@[(character: ~A)~]"
+		  :args (list (char-name (format-directive-character directive)))))))
     (simple-string
      (values `(write-string ,directive stream)
 	     more-directives))))

Index: pathname.lisp
===================================================================
RCS file: /cvsroot/sbcl/sbcl/src/code/pathname.lisp,v
retrieving revision 1.12
retrieving revision 1.13
diff -u -d -r1.12 -r1.13
--- pathname.lisp	8 Feb 2002 23:10:25 -0000	1.12
+++ pathname.lisp	5 Sep 2002 13:15:51 -0000	1.13
@@ -48,11 +48,9 @@
   (print-unreadable-object (logical-host stream :type t)
     (prin1 (logical-host-name logical-host) stream)))
 
-;;; What would it mean to dump a logical host and reload it into
-;;; another Lisp image? It's not clear, so we don't support it.
 (defun make-logical-host-load-form-fun (logical-host)
-  (error "~@<A logical host can't be dumped as a constant: ~2I~_~S~:>"
-         logical-host))
+  (values `(find-logical-host ',(logical-host-name logical-host))
+	  nil))
 
 ;;; A PATTERN is a list of entries and wildcards used for pattern
 ;;; matches of translations.

Index: target-format.lisp
===================================================================
RCS file: /cvsroot/sbcl/sbcl/src/code/target-format.lisp,v
retrieving revision 1.14
retrieving revision 1.15
diff -u -d -r1.14 -r1.15
--- target-format.lisp	22 Jul 2002 20:22:41 -0000	1.14
+++ target-format.lisp	5 Sep 2002 13:15:51 -0000	1.15
@@ -74,15 +74,16 @@
 	   (interpret-directive-list stream (cdr directives) orig-args args))
 	  (format-directive
 	   (multiple-value-bind (new-directives new-args)
-	       (let ((function
-		      (svref *format-directive-interpreters*
-			     (char-code (format-directive-character
-					 directive))))
-		     (*default-format-error-offset*
-		      (1- (format-directive-end directive))))
+	       (let* ((character (format-directive-character directive))
+		      (function
+		       (svref *format-directive-interpreters*
+			      (char-code character)))
+		      (*default-format-error-offset*
+		       (1- (format-directive-end directive))))
 		 (unless function
 		   (error 'format-error
-			  :complaint "unknown format directive"))
+			  :complaint "unknown format directive ~@[(character: ~A)~]"
+			  :args (list (char-name character))))
 		 (multiple-value-bind (new-directives new-args)
 		     (funcall function stream directive
 			      (cdr directives) orig-args args)
@@ -228,13 +229,6 @@
   (let* ((name (char-name char)))
     (cond (name
 	   (write-string (string-capitalize name) stream))
-	  ((<= 0 (char-code char) 31)
-	   ;; Print control characters as "^"<char>. (This seems to be
-	   ;; old pre-ANSI behavior, but ANSI just says that the "#^"
-	   ;; sequence is undefined and not reserved for the user, so
-	   ;; this behavior should be ANSI-compliant.)
-	   (write-char #\^ stream)
-	   (write-char (code-char (+ 64 (char-code char))) stream))
 	  (t
 	   (write-char char stream)))))

Update of /cvsroot/sbcl/sbcl/src/compiler/x86
In directory usw-pr-cvs1:/tmp/cvs-serv27368/src/compiler/x86

Modified Files:
	alloc.lisp backend-parms.lisp 
Log Message:
0.7.7.16:
	Fix bug 113
	... allow logical hosts to be dumped, as references to the name
		of the host
	... test for dumping behaviour
	Fix bug 174
	... when the bad directive character has a name, print it as
		part of the error message
	Save a massive 20k or so on core size by zapping globaldb
		entries for cold-init symbols
	Various text file frobs and comments


Index: alloc.lisp
===================================================================
RCS file: /cvsroot/sbcl/sbcl/src/compiler/x86/alloc.lisp,v
retrieving revision 1.9
retrieving revision 1.10
diff -u -d -r1.9 -r1.10
--- alloc.lisp	11 Oct 2001 14:05:26 -0000	1.9
+++ alloc.lisp	5 Sep 2002 13:15:52 -0000	1.10
@@ -250,6 +250,11 @@
       (inst mov (make-fixup (extern-alien-name "fast_random_state") :foreign)
 	    temp)
       ;; We want a positive fixnum for the hash value, so discard the LS bits.
+      ;;
+      ;; FIXME: OK, who wants to tell me (CSR) why these two
+      ;; instructions aren't replaced by (INST AND TEMP #x8FFFFFFC)?
+      ;; Are the following two instructions actually faster?  Does the
+      ;; difference in behaviour really matter?
       (inst shr temp 1)
       (inst and temp #xfffffffc)
       (storew temp result symbol-hash-slot other-pointer-lowtag)

Index: backend-parms.lisp
===================================================================
RCS file: /cvsroot/sbcl/sbcl/src/compiler/x86/backend-parms.lisp,v
retrieving revision 1.14
retrieving revision 1.15
diff -u -d -r1.14 -r1.15
--- backend-parms.lisp	19 May 2002 13:55:32 -0000	1.14
+++ backend-parms.lisp	5 Sep 2002 13:15:52 -0000	1.15
@@ -27,6 +27,17 @@
 ;;; code for it, but mostly we need it for GENESIS, which doesn't in
 ;;; general have our C runtime code running to ask, so instead we set
 ;;; it by hand. -- WHN 2001-04-15
+;;;
+;;; Though note that POSIX specifies (as far as I can tell)
+;;;
+;;;   sysconf(_SC_PAGE_SIZE);
+;;;
+;;; as a portable way of retrieving this information; a call to this
+;;; could be made in grovel-headers (which, strictly speaking, would
+;;; no longer solely be grovelling headers), though the question of
+;;; how to make this information appear in GENESIS, which is built and
+;;; run from host-1 files (which are made before grovel-headers runs)
+;;; would remain.  -- CSR, 2002-09-01
 (setf *backend-page-size* 4096)
 ;;; comment from CMU CL:
 ;;;

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

Modified Files:
	version.lisp-expr 
Log Message:
0.7.7.15:
	deleted unused SB-PCL machinery pointed out by Gerd Moellman
		on cmucl-imp: GF-MAKE-FUNCTION-FROM-EMF,
		CHECK-WRAPPER-VALIDITY1


Index: version.lisp-expr
===================================================================
RCS file: /cvsroot/sbcl/sbcl/version.lisp-expr,v
retrieving revision 1.525
retrieving revision 1.526
diff -u -d -r1.525 -r1.526
--- version.lisp-expr	5 Sep 2002 02:07:21 -0000	1.525
+++ version.lisp-expr	5 Sep 2002 11:42:17 -0000	1.526
@@ -18,4 +18,4 @@
 ;;; for internal versions, especially for internal versions off the
 ;;; main CVS branch, it gets hairier, e.g. "0.pre7.14.flaky4.13".)
 
-"0.7.7.14"
+"0.7.7.15"

Update of /cvsroot/sbcl/sbcl/src/pcl
In directory usw-pr-cvs1:/tmp/cvs-serv31039/src/pcl

Modified Files:
	boot.lisp cache.lisp 
Log Message:
0.7.7.15:
	deleted unused SB-PCL machinery pointed out by Gerd Moellman
		on cmucl-imp: GF-MAKE-FUNCTION-FROM-EMF,
		CHECK-WRAPPER-VALIDITY1


Index: boot.lisp
===================================================================
RCS file: /cvsroot/sbcl/sbcl/src/pcl/boot.lisp,v
retrieving revision 1.48
retrieving revision 1.49
diff -u -d -r1.48 -r1.49
--- boot.lisp	3 Sep 2002 02:29:45 -0000	1.48
+++ boot.lisp	5 Sep 2002 11:42:18 -0000	1.49
@@ -968,30 +968,6 @@
 		  +slot-unbound+)))))
     (function
      (apply emf args))))
-
-;; KLUDGE: A comment from the original PCL said "This can be improved alot."
-(defun gf-make-function-from-emf (gf emf)
-  (etypecase emf
-    (fast-method-call (let* ((arg-info (gf-arg-info gf))
-			     (nreq (arg-info-number-required arg-info))
-			     (restp (arg-info-applyp arg-info)))
-			(lambda (&rest args)
-			  (trace-emf-call emf t args)
-			  (apply (fast-method-call-function emf)
-				 (fast-method-call-pv-cell emf)
-				 (fast-method-call-next-method-call emf)
-				 (if restp
-				     (let* ((rest-args (nthcdr nreq args))
-					    (req-args (ldiff args
-							     rest-args)))
-				       (nconc req-args rest-args))
-				     args)))))
-    (method-call (lambda (&rest args)
-		   (trace-emf-call emf t args)
-		   (apply (method-call-function emf)
-			  args
-			  (method-call-call-method-args emf))))
-    (function emf)))
 
 (defmacro bind-fast-lexical-method-macros ((args rest-arg next-method-call)
 					   &body body)

Index: cache.lisp
===================================================================
RCS file: /cvsroot/sbcl/sbcl/src/pcl/cache.lisp,v
retrieving revision 1.22
retrieving revision 1.23
diff -u -d -r1.22 -r1.23
--- cache.lisp	9 Jun 2002 02:30:02 -0000	1.22
+++ cache.lisp	5 Sep 2002 11:42:21 -0000	1.23
@@ -468,13 +468,6 @@
 		((invalid-wrapper-p nwrapper)
 		 (error "wrapper returned from trap invalid")))
 	  nwrapper))))
-
-(defmacro check-wrapper-validity1 (object)
-  (let ((owrapper (gensym)))
-    `(let ((,owrapper (sb-kernel:layout-of object)))
-       (if (sb-kernel:layout-invalid ,owrapper)
-	   (check-wrapper-validity ,object)
-	   ,owrapper))))
 
 (defvar *free-caches* nil)

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

Modified Files:
	seq.lisp 
Log Message:
0.7.7.14:
	Nathan Froyd pointed out *another* dumb error in the same 
		function in seq.lisp, so I fixed that too.
		(2 bugs per 10 lines times 150K lines gives what?)


Index: seq.lisp
===================================================================
RCS file: /cvsroot/sbcl/sbcl/src/code/seq.lisp,v
retrieving revision 1.27
retrieving revision 1.28
diff -u -d -r1.27 -r1.28
--- seq.lisp	4 Sep 2002 13:59:54 -0000	1.27
+++ seq.lisp	5 Sep 2002 02:07:21 -0000	1.28
@@ -113,7 +113,7 @@
 		       length)))
     (error 'end-too-large-error
 	   :datum end
-	   :expected-type (if max-index
+	   :expected-type (if max-end
 			      `(integer 0 ,max-end)
 			      ;; This seems silly, is there something better?
 			      '(integer (0) 0)))))

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

Modified Files:
	version.lisp-expr 
Log Message:
0.7.7.14:
	Nathan Froyd pointed out *another* dumb error in the same 
		function in seq.lisp, so I fixed that too.
		(2 bugs per 10 lines times 150K lines gives what?)


Index: version.lisp-expr
===================================================================
RCS file: /cvsroot/sbcl/sbcl/version.lisp-expr,v
retrieving revision 1.524
retrieving revision 1.525
diff -u -d -r1.524 -r1.525
--- version.lisp-expr	4 Sep 2002 13:59:54 -0000	1.524
+++ version.lisp-expr	5 Sep 2002 02:07:21 -0000	1.525
@@ -18,4 +18,4 @@
 ;;; for internal versions, especially for internal versions off the
 ;;; main CVS branch, it gets hairier, e.g. "0.pre7.14.flaky4.13".)
 
-"0.7.7.13"
+"0.7.7.14"