[Sbcl-commits] CVS: sbcl BUGS,1.220,1.221 make-genesis-2.sh,1.2,1.3 make-host-1.sh,1.6,1.7 make-host-2.sh,1.19,1.20 version.lisp-expr,1.609,1.610

[Alexey D. <ade...@us...>]

Update of /cvsroot/sbcl/sbcl
In directory usw-pr-cvs1:/tmp/cvs-serv10169

Modified Files:
	BUGS make-genesis-2.sh make-host-1.sh make-host-2.sh 
	version.lisp-expr 
Log Message:
0.7.9.1:
        * Added #+cmu(ext:quit) to build scripts
        * Fixed SIMPLE-SUBTYPEP type method for FUNCTIONs


Index: BUGS
===================================================================
RCS file: /cvsroot/sbcl/sbcl/BUGS,v
retrieving revision 1.220
retrieving revision 1.221
diff -u -d -r1.220 -r1.221
--- BUGS	25 Oct 2002 13:04:34 -0000	1.220
+++ BUGS	26 Oct 2002 05:30:58 -0000	1.221
@@ -1354,13 +1354,31 @@
   the bad VECTOR-PUSH-EXTEND frame causes GC problems, though that may
   not be the actual problem. (CMU CL 18c doesn't have problems with this.)
 
-217:
+217: "Bad type operations with FUNCTION types"
   In sbcl.0.7.7:
 
     * (values-type-union (specifier-type '(function (base-char)))
                          (specifier-type '(function (integer))))
 
     #<FUN-TYPE (FUNCTION (BASE-CHAR) *)>
+
+  It causes insertion of wrong type assertions into generated
+  code. E.g.
+
+    (defun foo (x s)
+      (let ((f (etypecase x
+                 (character #'write-char)
+                 (integer #'write-byte))))
+        (funcall f x s)
+        (etypecase x
+          (character (write-char x s))
+          (integer (write-byte x s)))))
+
+   Then (FOO #\1 *STANDARD-OUTPUT*) signals type error.
+
+  (In 0.7.9.1 the result type is (FUNCTION * *), so Python does not
+  produce invalid code, but type checking is not accurate. Similar
+  problems exist with VALUES-TYPE-INTERSECTION.)
 
 
 DEFUNCT CATEGORIES OF BUGS

Index: make-genesis-2.sh
===================================================================
RCS file: /cvsroot/sbcl/sbcl/make-genesis-2.sh,v
retrieving revision 1.2
retrieving revision 1.3
diff -u -d -r1.2 -r1.3
--- make-genesis-2.sh	19 May 2001 01:03:02 -0000	1.2
+++ make-genesis-2.sh	26 Oct 2002 05:30:58 -0000	1.3
@@ -50,6 +50,7 @@
 		       ;; The map file is not needed by the system, but can
 		       ;; be very handy when debugging cold init problems.
 		       :map-file-name "output/cold-sbcl.map")
+        #+cmu (ext:quit)
 	EOF
 
 echo //testing for consistency of first and second GENESIS passes

Index: make-host-1.sh
===================================================================
RCS file: /cvsroot/sbcl/sbcl/make-host-1.sh,v
retrieving revision 1.6
retrieving revision 1.7
diff -u -d -r1.6 -r1.7
--- make-host-1.sh	20 May 2002 16:22:18 -0000	1.6
+++ make-host-1.sh	26 Oct 2002 05:30:58 -0000	1.7
@@ -44,4 +44,5 @@
 	  (load "tests/info.before-xc.lisp"))
         (host-cload-stem "src/compiler/generic/genesis")
 	(sb!vm:genesis :c-header-file-name "src/runtime/sbcl.h")
+        #+cmu (ext:quit)
 	EOF

Index: make-host-2.sh
===================================================================
RCS file: /cvsroot/sbcl/sbcl/make-host-2.sh,v
retrieving revision 1.19
retrieving revision 1.20
diff -u -d -r1.19 -r1.20
--- make-host-2.sh	10 Oct 2002 16:55:06 -0000	1.19
+++ make-host-2.sh	26 Oct 2002 05:30:58 -0000	1.20
@@ -123,6 +123,7 @@
           #+cmu (ext:save-lisp "output/after-xc.core" :load-init-file nil)
           #+sbcl (sb-ext:save-lisp-and-die "output/after-xc.core")
 	  )
+        #+cmu (ext:quit)
 	EOF
 
 # Run GENESIS (again) in order to create cold-sbcl.core. (The first

Index: version.lisp-expr
===================================================================
RCS file: /cvsroot/sbcl/sbcl/version.lisp-expr,v
retrieving revision 1.609
retrieving revision 1.610
diff -u -d -r1.609 -r1.610
--- version.lisp-expr	25 Oct 2002 16:13:19 -0000	1.609
+++ version.lisp-expr	26 Oct 2002 05:30:58 -0000	1.610
@@ -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"
+"0.7.9.1"