From: Robert Griesemer <gri@golang.org>
Date: Tue, 17 Mar 2009 00:36:52 +0000 (-0700)
Subject: instead of unlabeled statements, have a single labeled statement
X-Git-Tag: weekly.2009-11-06~2019
X-Git-Url: http://www.git.cypherpunks.su/?a=commitdiff_plain;h=dea4394a674c9b7868eb06b2325fc17a909c3064;p=gostls13.git

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 315df8f198..18c4b84a25 100644
--- 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>