[Sbcl-commits] CVS: sbcl/tests type.pure.lisp,1.19,1.20

[Christophe R. <cr...@us...>]

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

Modified Files:
	type.pure.lisp 
Log Message:
0.8.16.30:
	Fix PFD ansi-tests REAL.1 and REAL.2.
	... Ow my eyes!  Assorted horribleness.


Index: type.pure.lisp
===================================================================
RCS file: /cvsroot/sbcl/sbcl/tests/type.pure.lisp,v
retrieving revision 1.19
retrieving revision 1.20
diff -u -d -r1.19 -r1.20
--- type.pure.lisp	3 May 2004 23:01:29 -0000	1.19
+++ type.pure.lisp	3 Nov 2004 14:00:11 -0000	1.20
@@ -219,3 +219,9 @@
 		(subtypep '(complex (integer 1 2))
 			  '(member #c(1 1) #c(1 2) #c(2 1) #c(2 2))))
 	       '(nil t)))
+
+(assert (typep 0 '(real #.(ash -1 10000) #.(ash 1 10000))))
+(assert (subtypep '(real #.(ash -1 1000) #.(ash 1 1000))
+                  '(real #.(ash -1 10000) #.(ash 1 10000))))
+(assert (subtypep '(real (#.(ash -1 1000)) (#.(ash 1 1000)))
+                  '(real #.(ash -1 1000) #.(ash 1 1000))))