From: Robert Griesemer <gri@golang.org>
Date: Thu, 21 Dec 2017 23:17:35 +0000 (-0800)
Subject: spec: provide some (minimal) intuition for the notion of "terminating statement"
X-Git-Tag: go1.10beta2~82
X-Git-Url: http://www.git.cypherpunks.su/?a=commitdiff_plain;h=f3f507b2d86bfb38c7e466a465d5b6463cfd4184;p=gostls13.git

spec: provide some (minimal) intuition for the notion of "terminating statement"

Fixes #23215.

Change-Id: Ib20825bf08915b4daaabbfd91f168e24973c512d
Reviewed-on: https://go-review.googlesource.com/85215
Reviewed-by: Rob Pike <r@golang.org>
---

diff --git a/doc/go_spec.html b/doc/go_spec.html
index ebf1cefffe..9232eb0f8a 100644
--- a/doc/go_spec.html
+++ b/doc/go_spec.html
@@ -1,6 +1,6 @@
 <!--{
 	"Title": "The Go Programming Language Specification",
-	"Subtitle": "Version of October 25, 2017",
+	"Subtitle": "Version of December 21, 2017",
 	"Path": "/ref/spec"
 }-->
 
@@ -4356,7 +4356,9 @@ SimpleStmt = EmptyStmt | ExpressionStmt | SendStmt | IncDecStmt | Assignment | S
 <h3 id="Terminating_statements">Terminating statements</h3>
 
 <p>
-A terminating statement is one of the following:
+A <i>terminating statement</i> prevents execution of all statements that lexically
+appear after it in the same <a href="#Blocks">block</a>. The following statements
+are terminating:
 </p>
 
 <ol>