instead of unlabeled statements, have a single labeled statement

- no syntactic or semantic change

R=r
DELTA=45  (24 added, 18 deleted, 3 changed)
OCL=26349
CL=26368

diff --git a/doc/go_spec.html b/doc/go_spec.html
index 315df8f1987ecadf7aaeee810c7bbfeff373cfaf..18c4b84a25d1c6933d8d1e862e42f53e35f1ee9f 100644 (file)
--- a/doc/go_spec.html
+++ b/doc/go_spec.html
@@ -2908,16 +2908,13 @@ Statements control execution.
 </p>
 
 <pre class="grammar">
-Statement = { Label ":" } UnlabeledStatement .
-Label     = identifier .
-UnlabeledStatement =
-       Declaration | EmptyStat |
+Statement =
+       Declaration | EmptyStat | LabeledStat |
        SimpleStat | GoStat | ReturnStat | BreakStat | ContinueStat | GotoStat |
        FallthroughStat | Block | IfStat | SwitchStat | SelectStat | ForStat |
        DeferStat .
 
-SimpleStat =
-       ExpressionStat | IncDecStat | Assignment | SimpleVarDecl .
+SimpleStat = ExpressionStat | IncDecStat | Assignment | SimpleVarDecl .
 
 StatementList = Statement { Separator Statement } .
 Separator     = [ ";" ]
@@ -2936,14 +2933,6 @@ which may be omitted only if the previous statement:
            (including "switch" and "select" statements).
 </ul>
 
-<p>
-A labeled statement may be the target of a <code>goto</code>,
-<code>break</code> or <code>continue</code> statement.
-</p>
-
-<pre>
-Error: log.Fatal("error encountered")
-</pre>
 
 <h3>Empty statements</h3>
 
@@ -2961,6 +2950,23 @@ adding an empty statement.
 </p>
 
 
+<h3>Labeled statements</h3>
+
+<p>
+A labeled statement may be the target of a <code>goto</code>,
+<code>break</code> or <code>continue</code> statement.
+</p>
+
+<pre class="grammar">
+LabeledStat = Label ":" Statement .
+Label       = identifier .
+</pre>
+
+<pre>
+Error: log.Fatal("error encountered")
+</pre>
+
+
 <h3>Expression statements</h3>
 
 <p>