From 1b07119adbb794b057427f80ecb1f228efbe5686 Mon Sep 17 00:00:00 2001
From: Bert Burgemeister <trebbu@googlemail.com>
Date: Tue, 30 Aug 2011 17:41:21 +0200
Subject: [PATCH] Fix with-clause of loop

---
 clqr-control-structure.tex | 15 ++++++++++-----
 1 file changed, 10 insertions(+), 5 deletions(-)

diff --git a/clqr-control-structure.tex b/clqr-control-structure.tex
index 8fd03a2..b387c22 100644
--- a/clqr-control-structure.tex
+++ b/clqr-control-structure.tex
@@ -847,11 +847,14 @@
         \xorGOO{%
           \VAR{var-s}\\
           (\OPn{\VAR{var-s}})}{\}}
-        \Op{\VAR{d-type}} \LKWD*{=} \VAR{foo}} \Goos{\LKWD*{and}
+        \Op{\VAR{d-type}}
+        \Op{\LKWD*{=} \VAR{foo}}}
+      \Goos{\LKWD*{and}
         \xorGOO{%
           \VAR{var-p}\\
           (\OPn{\VAR{var-p}})}{\}}
-        \Op{\VAR{d-type}} \LKWD*{=} \VAR{bar}}
+        \Op{\VAR{d-type}}
+        \Op{\LKWD*{=} \VAR{bar}}}
       \penalty-10
       where destructuring type specifier \VAR{d-type} has the form
       \penalty-5
@@ -885,13 +888,15 @@
                 \xorGOO{%
                   \VAR{var}\\
                   (\OPn{\VAR{var}})}{\}}
-                \Op{\VAR{d-type}} \LKWD{=} \VAR{foo }}
+                \Op{\VAR{d-type}}
+                \Op{\LKWD{=} \VAR{foo}}}
+              \text{ }
               \{\text{\LKWD{and}
                 \xorGOO{%
                   \VAR{var}\\
                   (\OPn{\VAR{var}})}{\}}
-                \Op{\VAR{d-type}} \LKWD{=}
-                \VAR{bar}}\}^{*} \\ \\[-2.4ex]
+                \Op{\VAR{d-type}}
+                \Op{\LKWD{=} \VAR{bar}}}\}^{*} \\ \\[-2.4ex]
               \left.\!
                 \begin{array}{l}
                   \text{\LKWD{for}}  \\
-- 
2.11.4.GIT