Steel Bank Common Lisp

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

Modified Files:
	BUGS NEWS version.lisp-expr 
Log Message:
0.7.8.7:
        Fixed bug 202: compiler failure on a function definition,
incompatible with the declared type.


Index: BUGS
===================================================================
RCS file: /cvsroot/sbcl/sbcl/BUGS,v
retrieving revision 1.197
retrieving revision 1.198
diff -u -d -r1.197 -r1.198
--- BUGS	29 Sep 2002 07:03:18 -0000	1.197
+++ BUGS	30 Sep 2002 03:35:49 -0000	1.198
@@ -1240,27 +1240,13 @@
 
     (FOO ' (1 . 2)) => "NIL IS INTEGER, Y = 1"
 
-202:
-  In 0.6.12.43 compilation of a function definition, contradicting its
-  FTYPE proclamation, causes an error, e.g. COMPILE-FILE on
-
-    (declaim (ftype (function () null) foo))
-    (defun foo () t)
-
-  fails with
-
-    debugger invoked on condition of type UNBOUND-VARIABLE:
-    The variable SB-C::*ERROR-FUNCTION* is unbound.
-
-  in
+203:
+  Compiler does not check THEs on unused values, e.g. in
 
-    (SB-C::NOTE-LOSSAGE
-       "~@<The previously declared FTYPE~2I ~_~S~I ~_~
-                              conflicts with the definition type ~2I~_~S~:>"
-       (FUNCTION NIL NULL)
-       (FUNCTION NIL #))
+    (progn (the real (list 1)) t)
 
-  (In 0.7.0 the variable was renamed to SB-C::*LOSSAGE-FUN*.)
+  This situation may appear during optimizing away degenerate cases of
+  certain functions: see bugs 54, 192b.
 
 DEFUNCT CATEGORIES OF BUGS
   IR1-#:

Index: NEWS
===================================================================
RCS file: /cvsroot/sbcl/sbcl/NEWS,v
retrieving revision 1.166
retrieving revision 1.167
diff -u -d -r1.166 -r1.167
--- NEWS	28 Sep 2002 14:39:43 -0000	1.166
+++ NEWS	30 Sep 2002 03:35:49 -0000	1.167
@@ -1304,6 +1304,8 @@
     Froyd porting Raymond Toy's fix to CMU CL)
   * improved MOP conformance in PCL (thanks to Nathan Froyd porting
     Gerd Moellman's work in CMU CL)
+  * fixed bug 202: the compiler failed on a function, which derived
+    type contradicted declared.
 
 planned incompatible changes in 0.7.x:
 * When the profiling interface settles down, maybe in 0.7.x, maybe

Index: version.lisp-expr
===================================================================
RCS file: /cvsroot/sbcl/sbcl/version.lisp-expr,v
retrieving revision 1.558
retrieving revision 1.559
diff -u -d -r1.558 -r1.559
--- version.lisp-expr	29 Sep 2002 18:48:53 -0000	1.558
+++ version.lisp-expr	30 Sep 2002 03:35:49 -0000	1.559
@@ -18,4 +18,4 @@
 ;;; internal versions off the main CVS branch, it gets hairier, e.g.
 ;;; "0.pre7.14.flaky4.13".)
 
-"0.7.8.6"
+"0.7.8.7"

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

Modified Files:
	compiler.impure.lisp 
Log Message:
0.7.8.7:
        Fixed bug 202: compiler failure on a function definition,
incompatible with the declared type.


Index: compiler.impure.lisp
===================================================================
RCS file: /cvsroot/sbcl/sbcl/tests/compiler.impure.lisp,v
retrieving revision 1.23
retrieving revision 1.24
diff -u -d -r1.23 -r1.24
--- compiler.impure.lisp	29 Sep 2002 07:03:19 -0000	1.23
+++ compiler.impure.lisp	30 Sep 2002 03:35:49 -0000	1.24
@@ -420,6 +420,12 @@
     (ignore-errors (bug110 0))
   (declare (ignore result))
   (assert (typep condition 'type-error)))
+
+;;; bug 202: the compiler failed to compile a function, which derived
+;;; type contradicted declared.
+(declaim (ftype (function () null) bug202))
+(defun bug202 ()
+  t)
 
 ;;;; tests not in the problem domain, but of the consistency of the
 ;;;; compiler machinery itself

Update of /cvsroot/sbcl/sbcl/src/compiler
In directory usw-pr-cvs1:/tmp/cvs-serv24684/src/compiler

Modified Files:
	ir1final.lisp 
Log Message:
0.7.8.7:
        Fixed bug 202: compiler failure on a function definition,
incompatible with the declared type.


Index: ir1final.lisp
===================================================================
RCS file: /cvsroot/sbcl/sbcl/src/compiler/ir1final.lisp,v
retrieving revision 1.16
retrieving revision 1.17
diff -u -d -r1.16 -r1.17
--- ir1final.lisp	14 Jan 2002 02:12:01 -0000	1.16
+++ ir1final.lisp	30 Sep 2002 03:35:49 -0000	1.17
@@ -80,10 +80,11 @@
 	     (let ((declared-ftype (info :function :type source-name)))
 	       (unless (defined-ftype-matches-declared-ftype-p
 			 defined-ftype declared-ftype)
-		 (note-lossage "~@<The previously declared FTYPE~2I ~_~S~I ~_~
-                              conflicts with the definition type ~2I~_~S~:>"
-			       (type-specifier declared-ftype)
-			       (type-specifier defined-ftype)))))
+		 (compiler-style-warn
+                  "~@<The previously declared FTYPE~2I ~_~S~I ~_~
+                   conflicts with the definition type ~2I~_~S~:>"
+                  (type-specifier declared-ftype)
+                  (type-specifier defined-ftype)))))
 	    (:defined
 	     (when global-p
 	       (setf (info :function :type source-name) defined-ftype))))))))