From: William Harold Newman Date: Fri, 26 Apr 2002 14:40:47 +0000 (+0000) Subject: 0.7.3.4: X-Git-Url: http://repo.macrolet.net/gitweb/?a=commitdiff_plain;h=722703e7cbd3a4b279a4c1baab5d95df2c23cce9;p=sbcl.git 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 --- diff --git a/README b/README index 18578d6..f07d4cf 100644 --- a/README +++ b/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.) diff --git a/clean.sh b/clean.sh index 9eaa20e..46ccee3 100755 --- a/clean.sh +++ b/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 diff --git a/src/code/early-type.lisp b/src/code/early-type.lisp index 2eea097..8dcb9c7 100644 --- a/src/code/early-type.lisp +++ b/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)) diff --git a/src/code/late-type.lisp b/src/code/late-type.lisp index b287723..4b92965 100644 --- a/src/code/late-type.lisp +++ b/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 diff --git a/src/code/reader.lisp b/src/code/reader.lisp index 4114588..bc7c7b1 100644 --- a/src/code/reader.lisp +++ b/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) diff --git a/src/code/typedefs.lisp b/src/code/typedefs.lisp index 228d605..6169ace 100644 --- a/src/code/typedefs.lisp +++ b/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))) diff --git a/src/compiler/generic/vm-type.lisp b/src/compiler/generic/vm-type.lisp index 65561c9..2e0621c 100644 --- a/src/compiler/generic/vm-type.lisp +++ b/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 diff --git a/version.lisp-expr b/version.lisp-expr index 1bf797a..de920e4 100644 --- a/version.lisp-expr +++ b/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"