X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=tests%2Floop.pure.lisp;h=6d5f3e4739207891390b594a0e1ffa49d92a6f4b;hb=4a4da2875171c4802af72defcb71d720e8fa8093;hp=febf5a79ca24ee8f0c436d4418dc05f6b411610e;hpb=7f321020769583880612fe291367b0141a88ab2a;p=sbcl.git

diff --git a/tests/loop.pure.lisp b/tests/loop.pure.lisp
index febf5a7..6d5f3e4 100644
--- a/tests/loop.pure.lisp
+++ b/tests/loop.pure.lisp
@@ -214,3 +214,25 @@
   (let ((x 2d0))
     (loop for d of-type double-float downfrom 10d0 to 0d0 by x collect d))
   '(10d0 8d0 6d0 4d0 2d0 0d0)))
+
+(let ((fn (handler-case
+	      (compile nil '(lambda ()
+			     (declare (special x y))
+			     (loop thereis (pop x) thereis (pop y))))
+	    (warning (c) (error "Warned: ~S" c)))))
+  (let ((x (list nil nil 1))
+	(y (list nil 2 nil)))
+    (declare (special x y))
+    (assert (= (funcall fn) 2))))
+
+;;; Incorrect LIST type declaration, reported and patched by Teemu
+;;; Kalvas: end testing is done "as if by atom" so this is supposed
+;;; to work.
+(assert (equal '(1 2) (loop for (a . b) on '(1 2 . 3)  collect a)))
+
+;;; Detection of duplicate bindings, reported by Bruno Haible for CMUCL.
+(multiple-value-bind (_ condition)
+    (ignore-errors 
+      (macroexpand '(LOOP WITH A = 0 FOR A DOWNFROM 10 TO 0 DO (PRINT A))))
+  (declare (ignore _))
+  (assert (typep condition 'program-error)))