spec/statement.dd: Remove PSSEMI from LabeledStatement

CyberShadow · Geod24 · commit defeea0ec8d5 · 2021-07-05T09:32:20.000+09:00
A { } block after a label does always introduce a scope.

They are also syntactically identical, and therefore
indistinguishable.
diff --git a/spec/statement.dd b/spec/statement.dd
@@ -142,7 +142,6 @@ $(P     Statements can be labeled. A label is an identifier that
 $(GRAMMAR
 $(GNAME LabeledStatement):
     $(GLINK_LEX Identifier) $(D :)
-    $(GLINK_LEX Identifier) $(D :) $(PSSEMI)
     $(GLINK_LEX Identifier) $(D :) $(PSSEMI_PSCURLYSCOPE)
 )
 

Original file line number	Diff line number	Diff line change
`@@ -142,7 +142,6 @@ $(P Statements can be labeled. A label is an identifier that`
`142`	`142`	`$(GRAMMAR`
`143`	`143`	`$(GNAME LabeledStatement):`
`144`	`144`	`$(GLINK_LEX Identifier) $(D :)`
`145`		`- $(GLINK_LEX Identifier) $(D :) $(PSSEMI)`
`146`	`145`	`$(GLINK_LEX Identifier) $(D :) $(PSSEMI_PSCURLYSCOPE)`
`147`	`146`	`)`
`148`	`147`