0.7.9.5:

        * new bug
        * slam.sh supports CMUCL

diff --git a/BUGS b/BUGS
index 36986f9..20cb300 100644 (file)
--- a/BUGS
+++ b/BUGS
@@ -1380,6 +1380,12 @@ WORKAROUND:
   produce invalid code, but type checking is not accurate. Similar
   problems exist with VALUES-TYPE-INTERSECTION.)
 
+218: "VALUES type specifier semantics"
+  (THE (VALUES ...) ...) in safe code discards extra values.
+
+  (defun test (x y) (the (values integer) (truncate x y)))
+  (test 10 4) => 2
+
 
 DEFUNCT CATEGORIES OF BUGS
   IR1-#:

diff --git a/slam.sh b/slam.sh
index 8402cca..457ebf8 100644 (file)
--- a/slam.sh
+++ b/slam.sh
@@ -63,10 +63,9 @@
 # recommended way to make that happen.
 #######################################################################
 
-if [ "" != "$*" ]; then
-    echo no command line arguments supported in this version of slam
-    exit 1
-fi
+HOST_TYPE="${1:-sbcl}"
+
+echo //HOST_TYPE=\"$HOST_TYPE\"
 
 # We don't try to be general about this in this script the way we are
 # in make.sh, since the idiosyncrasies of SBCL command line argument
@@ -74,7 +73,21 @@ fi
 # and the SBCL-vs-CMUCL dependence of --core/-core argument syntax
 # make it too messy to try deal with arbitrary SBCL_XC_HOST variants.
 # So you have no choice:
-export SBCL_XC_HOST='sbcl --disable-debugger'
+case "$HOST_TYPE" in
+    cmucl) LISP="lisp -batch"
+           INIT="-noinit"
+           CORE="-core"
+           ;;
+    sbcl)  LISP="sbcl"
+           INIT="--sysinit /dev/null --userinit /dev/null"
+           CORE="--core"
+           ;;
+    *)     echo unknown host type: "$HOST_TYPE"
+           echo should be one of "sbcl" or "cmucl"
+           exit 1
+esac
+
+export SBCL_XC_HOST="$LISP $INIT"
 
 # (We don't do make-host-1.sh at all. Hopefully nothing relevant has
 # changed.)
@@ -84,7 +97,7 @@ sh make-target-1.sh || exit 1
 # Instead of doing the full make-host-2.sh, we (1) use after-xc.core
 # to rebuild only obviously-out-of-date Lisp files, then (2) run
 # GENESIS.
-sbcl --core output/after-xc.core --sysinit /dev/null --userinit /dev/null <<'EOF' || exit 1
+$LISP $CORE output/after-xc.core $INIT <<'EOF' || exit 1
   (load "src/cold/slam.lisp")
 EOF
 # (This ^ used to be

diff --git a/version.lisp-expr b/version.lisp-expr
index c414714..5d8a38b 100644 (file)
--- a/version.lisp-expr
+++ b/version.lisp-expr
@@ -18,4 +18,4 @@
 ;;; versions, especially for internal versions off the main CVS
 ;;; branch, it gets hairier, e.g. "0.pre7.14.flaky4.13".)
 
-"0.7.9.4"
+"0.7.9.5"