0.8alpha.0.29:

	A couple of extremely minor fixes
	... "oops" in type declaration in %DEFUN
	... fix KLUDGE in IMMEDIATE-CONSTANT-SC for x86, and allow (in
		principle) building from lisps with larger
		MOST-POSITIVE-FIXNUM as well as smaller.

diff --git a/CREDITS b/CREDITS
index 38e36ba..c6830e9 100644 (file)
--- a/CREDITS
+++ b/CREDITS
@@ -541,6 +541,12 @@ Alexey Dejneka:
   and elsewhere reflect systematic public-spiritedness, fixing bugs
   as they show up in sbcl-devel or as archived in the BUGS file.
 
+Paul Dietz
+  He is in the process of writing a comprehensive test suite for the
+  requirements of the ANSI Common Lisp standard.  Already, at the
+  halfway stage, it has caught many tens of bugs in SBCL, and provided
+  simple test cases for them.
+
 Nathan Froyd:
   He has fixed various bugs, and also done a lot of internal
   cleanup, not visible at the user level but important for
@@ -601,14 +607,16 @@ William ("Bill") Newman:
   rid of various functionality (e.g. the byte interpreter).
 
 Kevin M. Rosenberg:
-  He provided the ACL-style toplevel.
+  He provided the ACL-style toplevel, and a number of MOP-related bug
+  reports.
 
 Christophe Rhodes:
   He ported SBCL to SPARC, made various port-related and SPARC-related
   changes (like *BACKEND-SUBFEATURES*), made many fixes and
-  improvements in the compiler's type system, has done a substantial
-  amount of work on bootstrapping SBCL under unrelated (non-SBCL,
-  non-CMU-CL) Common Lisps, and contributed in other ways as well.
+  improvements in the compiler's type system, has essentially
+  completed the work to enable bootstrapping SBCL under unrelated
+  (non-SBCL, non-CMU-CL) Common Lisps, and contributed in other ways
+  as well.
 
 Stig Erik Sandoe:
   He showed how to convince the GNU toolchain to build SBCL in a way

diff --git a/src/code/defboot.lisp b/src/code/defboot.lisp
index 4f5ff75..8df43b2 100644 (file)
--- a/src/code/defboot.lisp
+++ b/src/code/defboot.lisp
@@ -199,7 +199,7 @@
 #-sb-xc-host
 (defun %defun (name def doc)
   (declare (type function def))
-  (declare (type (or null simple-string doc)))
+  (declare (type (or null simple-string) doc))
   (aver (legal-fun-name-p name)) ; should've been checked by DEFMACRO DEFUN
   (when (fboundp name)
     (/show0 "redefining NAME in %DEFUN")

diff --git a/src/compiler/x86/vm.lisp b/src/compiler/x86/vm.lisp
index bb7a622..bc7c86d 100644 (file)
--- a/src/compiler/x86/vm.lisp
+++ b/src/compiler/x86/vm.lisp
@@ -375,20 +375,9 @@
 ;;; If value can be represented as an immediate constant, then return
 ;;; the appropriate SC number, otherwise return NIL.
 (!def-vm-support-routine immediate-constant-sc (value)
-  ;; KLUDGE: although this might not look different from the FIXNUM
-  ;; below, in the TYPECASE, SB-INT:FIXNUMP actually tests against the
-  ;; target FIXNUM type, as opposed to TYPECASE FIXNUM which tests
-  ;; against the host FIXNUM range.
-  #+sb-xc-host
-  (when (fixnump value)
-    ;; FIXME: this block name was not obvious.  Also, since this idiom
-    ;; is presumably going to be repeated in all six (current)
-    ;; backends, it would be nice to wrap it up somewhat more nicely.
-    ;; -- CSR, 2003-04-20
-    (return-from impl-of-vm-support-routine-immediate-constant-sc
-      (sc-number-or-lose 'immediate)))
   (typecase value
-    ((or fixnum #-sb-xc-host system-area-pointer character)
+    ((or (integer #.sb!xc:most-negative-fixnum #.sb!xc:most-positive-fixnum)
+        #-sb-xc-host system-area-pointer character)
      (sc-number-or-lose 'immediate))
     (symbol
      (when (static-symbol-p value)

diff --git a/version.lisp-expr b/version.lisp-expr
index 43ed933..6f6677b 100644 (file)
--- a/version.lisp-expr
+++ b/version.lisp-expr
@@ -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.8alpha.0.28"
+"0.8alpha.0.29"