[Sbcl-commits] CVS: sbcl/tests loop.pure.lisp,1.9,1.10

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

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

Modified Files:
	loop.pure.lisp 
Log Message:
0.7.9.56:
        Fix miscellaneous bugs in LOOP REPEAT:
        * incorrect type inference
        * REPEAT is a `main clause'
        * semantics change during constant folding


Index: loop.pure.lisp
===================================================================
RCS file: /cvsroot/sbcl/sbcl/tests/loop.pure.lisp,v
retrieving revision 1.9
retrieving revision 1.10
diff -u -d -r1.9 -r1.10
--- loop.pure.lisp	19 Nov 2002 00:42:29 -0000	1.9
+++ loop.pure.lisp	19 Nov 2002 07:28:53 -0000	1.10
@@ -92,3 +92,14 @@
 	    count t))
   (assert (null result))
   (assert (typep error 'package-error)))
+
+(assert (equal (loop for i from 1 repeat (the (integer 7 7) 7) collect i)
+               '(1 2 3 4 5 6 7)))
+
+(multiple-value-bind (result error)
+    (ignore-errors (eval '(loop for i from 1 repeat 7 of-type fixnum collect i)))
+  (assert (null result))
+  (assert (typep error 'program-error)))
+
+(assert (equal (ignore-errors (loop for i from 1 repeat 6.5 collect i))
+               (ignore-errors (loop for i from 1 repeat (eval '6.5) collect i))))