1.0.16.9: restore buildability from CMUCL
authorChristophe Rhodes <csr21@cantab.net>
Wed, 23 Apr 2008 21:43:58 +0000 (21:43 +0000)
committerChristophe Rhodes <csr21@cantab.net>
Wed, 23 Apr 2008 21:43:58 +0000 (21:43 +0000)
CMUCL justifiably emits warning on (ecase ... (...) (t ...)).
Use ((t) ...) instead as the last clause.  Reported by Andreas
Franke (sbcl-devel 2008-04-23).

NEWS
src/compiler/generic/vm-macs.lisp
src/compiler/generic/vm-tran.lisp
src/compiler/srctran.lisp
version.lisp-expr

diff --git a/NEWS b/NEWS
index b3c2c6d..f1da9d7 100644 (file)
--- a/NEWS
+++ b/NEWS
@@ -17,6 +17,8 @@ changes in sbcl-1.0.17 relative to 1.0.16:
     platform word lengths.
   * bug fix: more correct assembler syntax for GNU binutils
     2.18.50.0.4 support.  (thanks to Marijn Schouten)
+  * bug fix: fix ECASE warnings from CMUCL-as-xc-host.  (reported by
+    Andreas Franke)
 
 changes in sbcl-1.0.16 relative to 1.0.15:
   * minor incompatible change: revert the changes to sb-posix's error
index a3863c8..3bcb46c 100644 (file)
     (:untagged
      (ecase signedp
        ((nil) *untagged-unsigned-modular-class*)
-       (t *untagged-signed-modular-class*)))
+       ((t) *untagged-signed-modular-class*)))
     (:tagged
      (aver signedp)
      *tagged-modular-class*)))
      (defknown ,name ,(mapcar (constantly 'integer) lambda-list)
                (,(ecase signedp
                    ((nil) 'unsigned-byte)
-                   (t 'signed-byte))
+                   ((t) 'signed-byte))
                  ,width)
                (foldable flushable movable)
                :derive-type (make-modular-fun-type-deriver
index 43a7b11..26d7855 100644 (file)
     ((def (name kind width signedp)
        (let ((type (ecase signedp
                      ((nil) 'unsigned-byte)
-                     (t 'signed-byte))))
+                     ((t) 'signed-byte))))
          `(progn
             (defknown ,name (integer (integer 0)) (,type ,width)
                       (foldable flushable movable))
index 2675ea1..37c3a73 100644 (file)
                          (ecase signedp
                              ((nil) (let ((mask (1- (ash 1 width))))
                                       `(integer ,mask ,mask)))
-                             (t `(signed-byte ,width))))))
+                             ((t) `(signed-byte ,width))))))
     (lambda (call)
       (let ((res (funcall fun call)))
         (when res
                            (ecase signedp
                              ((nil) (let ((mask (1- (ash 1 width))))
                                       `(integer ,mask ,mask)))
-                             (t `(signed-byte ,width))))))
+                             ((t) `(signed-byte ,width))))))
       (if (eq signedp nil)
           (logand-derive-type-aux res mask-type)))))
 
                                   '(eql 0)
                                   `(,(ecase signedp
                                        ((nil) 'unsigned-byte)
-                                       (t 'signed-byte))
+                                       ((t) 'signed-byte))
                                      ,width)))))
     (labels ((reoptimize-node (node name)
                (setf (node-derived-type node)
index b9ca84b..eb68dfa 100644 (file)
@@ -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".)
-"1.0.16.8"
+"1.0.16.9"