[Sbcl-commits] CVS: sbcl/tests type.pure.lisp,1.29,1.30

[Nikodemus S. <de...@us...>]

Update of /cvsroot/sbcl/sbcl/tests
In directory sc8-pr-cvs8.sourceforge.net:/tmp/cvs-serv32245/tests

Modified Files:
	type.pure.lisp 
Log Message:
0.9.15.34: CONS type comparison
 * Secondary return value from :SIMPLE-= method for CONS was missing,
   causing TYPE= failures to appear ambiguous when they were not.


Index: type.pure.lisp
===================================================================
RCS file: /cvsroot/sbcl/sbcl/tests/type.pure.lisp,v
retrieving revision 1.29
retrieving revision 1.30
diff -u -d -r1.29 -r1.30
--- type.pure.lisp	27 Mar 2006 08:19:36 -0000	1.29
+++ type.pure.lisp	15 Aug 2006 10:24:10 -0000	1.30
@@ -331,5 +331,14 @@
    (sb-kernel:specifier-type '(simple-array an-unkown-type (7)))
    (sb-kernel:specifier-type '(simple-array an-unkown-type (8))))))
 
+(assert
+ (sb-kernel:type/= (sb-kernel:specifier-type 'cons) 
+                   (sb-kernel:specifier-type '(cons single-float single-float))))
+
+(multiple-value-bind (match win)
+    (sb-kernel:type= (sb-kernel:specifier-type '(cons integer)) 
+                     (sb-kernel:specifier-type '(cons)))
+  (assert (and (not match) win)))
+
 (assert (typep #p"" 'sb-kernel:instance))
 (assert (subtypep '(member #p"") 'sb-kernel:instance))