Fix wording for break and continue.

docs/language/dartLangSpec.tex

Index: docs/language/dartLangSpec.tex
diff --git a/docs/language/dartLangSpec.tex b/docs/language/dartLangSpec.tex
index 1a38afb9c532bd8342b3a94e1717db30890693de..d67708cdc2b0d5df1f41105e9dd7ddd5a1f58d4f 100644
--- a/docs/language/dartLangSpec.tex
+++ b/docs/language/dartLangSpec.tex
@@ -6566,7 +6566,15 @@ The {\em break statement} consists of the reserved word \BREAK{} and an optional
  \end{grammar}
 
 \LMHash{}
-Let $s_b$ be a \BREAK{} statement. If $s_b$ is of the form  \code{\BREAK{} $L$;}, then let $s_E$ be the innermost labeled statement with label $L$ enclosing $s_b$. If $s_b$ is of the form \code{\BREAK{};},  then let $s_E$ be the innermost  \DO{} (\ref{do}), \FOR{} (\ref{for}), \SWITCH{} (\ref{switch}) or \WHILE{} (\ref{while}) statement enclosing  $s_b$. It is a compile-time error if no such statement $s_E$ exists within the innermost function in which  $s_b$ occurs.
+Let $s_b$ be a \BREAK{} statement.
+If $s_b$ is of the form \code{\BREAK{} $L$;},
+then let $s_E$ be the innermost labeled statement with label $L$ enclosing $s_b$.
+If $s_b$ is of the form \code{\BREAK{};},
+then let $s_E$ be the innermost \code{\AWAIT{} \FOR{}} (\ref{asynchronousFor-in}),
+\DO{} (\ref{do}), \FOR{} (\ref{for}), \SWITCH{} (\ref{switch})
+or \WHILE{} (\ref{while}) statement enclosing $s_b$.
+It is a compile-time error if no such statement $s_E$ exists within
+the innermost function in which $s_b$ occurs.
 
 \LMHash{}
 Execution of a \BREAK{} statement \code{\BREAK{} $L$;} breaks to the label $L$ (\ref{completion}).
@@ -6587,7 +6595,17 @@ The {\em continue statement} consists of the reserved word \CONTINUE{} and an op
  \end{grammar}
 
 \LMHash{}
-Let $s_c$ be a \CONTINUE{} statement. If $s_c$ is of the form  \code{\CONTINUE{} $L$;}, then let $s_E$ be the innermost labeled \DO{} (\ref{do}), \FOR{} (\ref{for}) or \WHILE{} (\ref{while}) statement or case clause with label $L$ enclosing $s_c$. If $s_c$ is of the form \code{\CONTINUE{};}  then let $s_E$ be the innermost  \DO{} (\ref{do}), \FOR{} (\ref{for}) or \WHILE{} (\ref{while}) statement enclosing  $s_c$. It is a compile-time error if no such statement or case clause $s_E$ exists within the innermost function in which  $s_c$ occurs.
+Let $s_c$ be a \CONTINUE{} statement.
+If $s_c$ is of the form \code{\CONTINUE{} $L$;},
+then let $s_E$ be the innermost labeled \code{\AWAIT{} \FOR{}} (\ref{asynchronousFor-in}),
+\DO{} (\ref{do}), \FOR{} (\ref{for}), or \WHILE{} (\ref{while})
+statement or \SWITCH{} statement with a labeled case clause,
+which is labeled with $L$ and encloses $s_c$.
+If $s_c$ is of the form \code{\CONTINUE{};}
+then let $s_E$ be the innermost \code{\AWAIT{} \FOR{}} (\ref{asynchronousFor-in})
+\DO{} (\ref{do}), \FOR{} (\ref{for}), or \WHILE{} (\ref{while})
+statement enclosing $s_c$.
+It is a compile-time error if no such statement or case clause $s_E$ exists within the innermost function in which  $s_c$ occurs.

[Kevin Millikin (Google), 2017/06/27 11:55:10]

"case clause" ==> "switch statement", but it's redundant because if s_E is a
switch statement then it is definitely a statement.


I think the phrasing of this whole section is too complicated for what it says. 
I suggest not introducing the name $s_E$ for the thing in order to say that the
thing exists (and it doesn't really matter if it's the innermost one or not so
long as there is one).

I'd suggest something along the lines of:

If $s_c$ is of the form \code{\CONTINUE{} $L$;}, then it is a compile-time error
if $s_c$ is not enclosed in a labeled \code{\AWAIT{} \FOR{}} ....

 
 Execution of a \CONTINUE{} statement \code{\CONTINUE{} $L$;} continues to the label $L$ (\ref{completion}).