From: Alexey D. <ade...@us...> - 2002-09-30 03:35:55
|
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 |