X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;ds=sidebyside;f=tests%2Floop.pure.lisp;h=6d5f3e4739207891390b594a0e1ffa49d92a6f4b;hb=343ef95fda9da33830d5ab6aabe5368c898f0918;hp=8f7b8dd1804a9e404771d5d5aa7d9658de396771;hpb=b1c7011c1f5d50b9821c07db75b1d5c3c6881062;p=sbcl.git

diff --git a/tests/loop.pure.lisp b/tests/loop.pure.lisp
index 8f7b8dd..6d5f3e4 100644
--- a/tests/loop.pure.lisp
+++ b/tests/loop.pure.lisp
@@ -229,3 +229,10 @@
 ;;; 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)))