[Sbcl-commits] CVS: sbcl BUGS,1.270.2.2,1.270.2.3 NEWS,1.242.2.2,1.242.2.3 make-target-2.sh,1.15.2.2,1.15.2.3 version.lisp-expr,1.762.2.3,1.762.2.4

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

Update of /cvsroot/sbcl/sbcl
In directory sc8-pr-cvs1:/tmp/cvs-serv32422

Modified Files:
      Tag: apd-0-7-cast
	BUGS NEWS make-target-2.sh version.lisp-expr 
Log Message:
0.7.13.30-cast.5:
        * CAST's VALUE is annotated with its primitive types, but the
          number is that of CAST-CONT;
        * type canonicalization: (VALUES ... NIL ...) => NIL;
        * fixed stupid errors: type (VALUES) in a single-value context
          means NULL; restored doc/clean.sh.


Index: BUGS
===================================================================
RCS file: /cvsroot/sbcl/sbcl/BUGS,v
retrieving revision 1.270.2.2
retrieving revision 1.270.2.3
diff -u -d -r1.270.2.2 -r1.270.2.3
--- BUGS	20 Mar 2003 10:17:57 -0000	1.270.2.2
+++ BUGS	21 Mar 2003 17:13:29 -0000	1.270.2.3
@@ -1151,23 +1151,6 @@
   Without (DECLARE (NOTINLINE MAPCAR)), Python cannot derive that Z is
   LIST.
 
-236: "THE semantics is broken"
-
-  (defun foo (a f)
-    (declare (optimize (speed 2) (safety 0)))
-    (+ 1d0
-       (the double-float
-         (multiple-value-prog1
-             (svref a 0)
-           (unless f (return-from foo 0))))))
-
-  (foo #(4) nil) => SEGV
-
-  VOP selection thinks that in unsafe code result type assertions
-  should be valid immediately. (See also bug 233a.)
-
-  The similar problem exists for TRULY-THE.
-
 237: "Environment arguments to type functions"
   a. Functions SUBTYPEP, TYPEP, UPGRADED-ARRAY-ELEMENT-TYPE, and 
      UPGRADED-COMPLEX-PART-TYPE now have an optional environment

Index: NEWS
===================================================================
RCS file: /cvsroot/sbcl/sbcl/NEWS,v
retrieving revision 1.242.2.2
retrieving revision 1.242.2.3
diff -u -d -r1.242.2.2 -r1.242.2.3
--- NEWS	20 Mar 2003 10:17:57 -0000	1.242.2.2
+++ NEWS	21 Mar 2003 17:13:30 -0000	1.242.2.3
@@ -1632,4 +1632,4 @@
 
   * changes in type checking closed the following bugs:
     ** type checking of unused values (192b, 203);
-    ** template selection based on unsafe type assertions (192c);
\ No newline at end of file
+    ** template selection based on unsafe type assertions (192c, 236);

Index: make-target-2.sh
===================================================================
RCS file: /cvsroot/sbcl/sbcl/make-target-2.sh,v
retrieving revision 1.15.2.2
retrieving revision 1.15.2.3
diff -u -d -r1.15.2.2 -r1.15.2.3
--- make-target-2.sh	20 Mar 2003 10:17:58 -0000	1.15.2.2
+++ make-target-2.sh	21 Mar 2003 17:13:31 -0000	1.15.2.3
@@ -32,12 +32,7 @@
 	;; Now that we use the compiler for macros, interpreted
 	;; /SHOW doesn't work until later in init.
         #+sb-show (print "/hello, world!")
-        (sb!ext:purify)
-
-        ;; FIXME
-        (defun sb!unix::get-timezone (x)
-          (declare (ignore x))
-          (values 0 0 nil))
+       (sb!ext:purify)
 
         ;; Until PRINT-OBJECT and other machinery is set up,
 	;; we want limits on printing to avoid infinite output.

Index: version.lisp-expr
===================================================================
RCS file: /cvsroot/sbcl/sbcl/version.lisp-expr,v
retrieving revision 1.762.2.3
retrieving revision 1.762.2.4
diff -u -d -r1.762.2.3 -r1.762.2.4
--- version.lisp-expr	20 Mar 2003 10:17:58 -0000	1.762.2.3
+++ version.lisp-expr	21 Mar 2003 17:13:31 -0000	1.762.2.4
@@ -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.13.30-cast.4"
+"0.7.13.30-cast.5"