Steel Bank Common Lisp

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