0.7.3.4:

	small cleanups...
	...clean.sh should remove more stuff, notably *.orig files.
	...s/might-contain-other-types?/might-contain-other-types-p/
	...DB README note suggestion from sbcl-devel 2002-04

README

@@ -1,3 +1,5 @@
+GENERAL INFORMATION
+
 Welcome to SBCL.
 
 To find out more about who created the system, see the "CREDITS" file.
@@ -20,3 +22,16 @@ If you'd like to make suggestions, report a bug, or help to improve the
 system, please send mail to one of the mailing lists:
   sbcl-help@lists.sourceforge.net
   sbcl-devel@lists.sourceforge.net
+
+
+SYSTEM-SPECIFIC HINTS
+
+for OpenBSD:
+  It's reported for CMU CL (by Darren Bane on the comp.lang.lisp newsgroup,
+  2002-04-22) that OpenBSD 3.0 has stricter ulimit values, and/or enforces
+  them more strictly, than its predecessors, and so CMU CL's initial mmap()
+  won't work unless you increase the limit on the data segment, e.g. with
+    ulimit -S -d 524288
+  before you run CMU CL. The same is probably true of SBCL, but hasn't been
+  tested yet. (As of sbcl-0.7.3, SBCL has only been tested on OpenBSD 2.9
+  and earlier.)

clean.sh

@@ -38,7 +38,7 @@ done
 # Within all directories, remove things which don't look like source
 # files. Some explanations:
 #   (symlinks)
-#     are never in the sources; they must've been created
+#     are never in the sources, so must've been created
 #   sbcl
 #     the runtime environment, created by compiling C code
 #   sbcl.h 
@@ -55,22 +55,27 @@ done
 #   *.core, *.map
 #     looks like SBCL SAVE-LISP-AND-DIE or GENESIS output, and
 #     certainly not source
-#   *~, #*#, TAGS
+#   *~, #*#
 #     common names for editor temporary files
-#   .#*
+#   TAGS, tags
+#     files created by GNU etags and ctags
+#   .#*, *.orig, .*.orig
 #     rubbish left behind by CVS updates
 #   *.htm, *.html
 #     The system doc sources are SGML, any HTML is
 #     automatically-generated output.
 #   depend
 #     made by "make depend" (or "gmake depend" or some such thing)
-#   *.x86f, *.axpf, *.lbytef, *.fasl
-#     typical extensions for fasl files
+#   *.lisp-obj, *.fasl, *.x86f, *.axpf, *.lbytef, *.lib
+#     typical extensions for fasl files (not just from SBCL, but
+#     from other Lisp systems which might be used as xc hosts)
 find . \( \
 	-type l -o \
 	-name '*~' -o \
 	-name '#*#' -o \
 	-name '.#*' -o \
+	-name '*.orig' -o \
+	-name '.*.orig' -o \
 	-name '?*.x86f' -o \
 	-name '?*.axpf' -o \
 	-name '?*.lbytef' -o \
@@ -91,4 +96,5 @@ find . \( \
 	-name '*.htm' -o \
 	-name '*.html' -o \
 	-name 'TAGS' -o \
+	-name 'tags' -o \
 	-name 'local-target-features.lisp-expr' \) -print | xargs rm -f

src/code/early-type.lisp

@@ -24,7 +24,7 @@
 (defstruct (hairy-type (:include ctype
 				 (class-info (type-class-or-lose 'hairy))
 				 (enumerable t)
-				 (might-contain-other-types? t))
+				 (might-contain-other-types-p t))
 		       (:copier nil)
 		       #!+cmu (:pure nil))
   ;; the Common Lisp type-specifier of the type we represent
@@ -232,7 +232,7 @@
 ;;; A COMPOUND-TYPE is a type defined out of a set of types, the
 ;;; common parent of UNION-TYPE and INTERSECTION-TYPE.
 (defstruct (compound-type (:include ctype
-				    (might-contain-other-types? t))
+				    (might-contain-other-types-p t))
 			  (:constructor nil)
 			  (:copier nil))
   (types nil :type list :read-only t))

src/code/late-type.lisp

@@ -68,7 +68,7 @@
 (defun !has-superclasses-complex-subtypep-arg1 (type1 type2 info)
   ;; If TYPE2 might be concealing something related to our class
   ;; hierarchy
-  (if (type-might-contain-other-types? type2)
+  (if (type-might-contain-other-types-p type2)
       ;; too confusing, gotta punt 
       (values nil nil)
       ;; ordinary case expected by old CMU CL code, where the taxonomy
@@ -929,7 +929,7 @@
   (cond ((eq type1 *empty-type*)
 	 t)
 	(;; When TYPE2 might be the universal type in disguise
-	 (type-might-contain-other-types? type2)
+	 (type-might-contain-other-types-p type2)
 	 ;; Now that the UNION and HAIRY COMPLEX-SUBTYPEP-ARG2 methods
 	 ;; can delegate to us (more or less as CALL-NEXT-METHOD) when
 	 ;; they're uncertain, we can't just barf on COMPOUND-TYPE and
@@ -1054,8 +1054,8 @@
 		;; changes in internal representation in the type
 		;; system could make it start confidently returning
 		;; incorrect results.) -- WHN 2002-03-08
-		(unless (or (type-might-contain-other-types? complement-type1)
-			    (type-might-contain-other-types? type2))
+		(unless (or (type-might-contain-other-types-p complement-type1)
+			    (type-might-contain-other-types-p type2))
 		  ;; Because of the way our types which don't contain
 		  ;; other types are disjoint subsets of the space of
 		  ;; possible values, (SUBTYPEP '(NOT AA) 'B)=NIL when

src/code/reader.lisp

@@ -178,7 +178,7 @@
   FROM-TABLE defaults to the standard Lisp readtable when NIL."
   (let ((really-from-readtable (or from-readtable *standard-readtable*)))
     ;; Copy FROM-CHAR entries to TO-CHAR entries, but make sure that if
-    ;; from char is a constituent you don't copy non-movable secondary
+    ;; FROM-CHAR is a constituent you don't copy non-movable secondary
     ;; attributes (constituent types), and that said attributes magically
     ;; appear if you transform a non-constituent to a constituent.
     (let ((att (get-cat-entry from-char really-from-readtable)))
@@ -203,7 +203,7 @@
         (set-cat-entry char (get-secondary-attribute char) rt)
         (set-cat-entry char +char-attr-terminating-macro+ rt))
     (set-cmt-entry char function rt)
-    T))
+    t))
 
 (defun get-macro-character (char &optional (rt *readtable*))
   #!+sb-doc
@@ -1172,7 +1172,7 @@
 		((not dig)
 		 (setq exponent (if negative-exponent (- exponent) exponent)))
 	     (setq exponent (+ (* exponent 10) dig)))
-	   ;; Generate and return the float, depending on float-char:
+	   ;; Generate and return the float, depending on FLOAT-CHAR:
 	   (let* ((float-format (case (char-upcase float-char)
 				  (#\E *read-default-float-format*)
 				  (#\S 'short-float)

src/code/typedefs.lisp

@@ -88,7 +88,7 @@
   ;; is disjoint from MEMBER-TYPE and so forth. But types which can
   ;; contain other types, like HAIRY-TYPE and INTERSECTION-TYPE, can
   ;; violate this rule.
-  (might-contain-other-types? nil :read-only t))
+  (might-contain-other-types-p nil :read-only t))
 (def!method print-object ((ctype ctype) stream)
   (print-unreadable-object (ctype stream :type t)
     (prin1 (type-specifier ctype) stream)))

src/compiler/generic/vm-type.lisp

@@ -24,9 +24,9 @@
 
 ;;;; implementation-dependent DEFTYPEs
 
-;;; Make DOUBLE-FLOAT a synonym for LONG-FLOAT, SINGLE-FLOAT for SHORT-FLOAT.
-;;; This is expanded before the translator gets a chance, so we will get
-;;; precedence.
+;;; Make DOUBLE-FLOAT a synonym for LONG-FLOAT, SINGLE-FLOAT for
+;;; SHORT-FLOAT. This is expanded before the translator gets a chance,
+;;; so we will get precedence.
 #!-long-float
 (setf (info :type :kind 'long-float) :defined)
 #!-long-float

version.lisp-expr

@@ -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.3.3"
+"0.7.3.4"