[Sbcl-commits] CVS: sbcl/tests type.pure.lisp,1.5,1.6

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

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

Modified Files:
	type.pure.lisp 
Log Message:
0.7.9.64:
        * Fix bug in SUBTYPEP of function types, reported by Valtteri
          Vuorik, explained by CSR.
        * Fix 3AND.


Index: type.pure.lisp
===================================================================
RCS file: /cvsroot/sbcl/sbcl/tests/type.pure.lisp,v
retrieving revision 1.5
retrieving revision 1.6
diff -u -d -r1.5 -r1.6
--- type.pure.lisp	30 Oct 2002 16:30:32 -0000	1.5
+++ type.pure.lisp	24 Nov 2002 06:08:39 -0000	1.6
@@ -161,3 +161,12 @@
 ;;; signalled an error on this expression.
 (subtypep '(function (fixnum) (values package boolean))
 	  '(function (t) (values package boolean)))
+
+;;; bug reported by Valtteri Vuorik
+(compile nil '(lambda () (member (char "foo" 0) '(#\. #\/) :test #'char=)))
+(assert (not (equal (multiple-value-list
+                     (subtypep '(function ()) '(function (&rest t))))
+                    '(nil t))))
+(assert (not (equal (multiple-value-list
+                     (subtypep '(function (&rest t)) '(function ())))
+                    '(t t))))