From: Robert Griesemer <gri@golang.org>
Date: Fri, 21 Sep 2012 19:54:35 +0000 (+1000)
Subject: [release-branch.go1] spec: clarify evaluation order
X-Git-Tag: go1.0.3~96
X-Git-Url: http://www.git.cypherpunks.su/?a=commitdiff_plain;h=ab4821d468aa6b8d22e5ef935aa4945d4203a5f1;p=gostls13.git

[release-branch.go1] spec: clarify evaluation order

««« backport 6beada1bf6c2
spec: clarify evaluation order

Fixes #3852.

R=r, rsc, iant, ken
CC=golang-dev
https://golang.org/cl/6441102

»»»
---

diff --git a/doc/go_spec.html b/doc/go_spec.html
index 94ab9bbe7f..84c7d510e9 100644
--- a/doc/go_spec.html
+++ b/doc/go_spec.html
@@ -1,6 +1,6 @@
 <!--{
 	"Title": "The Go Programming Language Specification",
-	"Subtitle": "Version of July 11, 2012",
+	"Subtitle": "Version of August 9, 2012",
 	"Path": "/ref/spec"
 }-->
 
@@ -3694,8 +3694,10 @@ overflow etc. errors being caught.
 <h3 id="Order_of_evaluation">Order of evaluation</h3>
 
 <p>
-When evaluating the elements of an assignment or expression,
-all function calls, method calls and
+When evaluating the <a href="#Operands">operands</a> of an expression,
+<a href="#Assignments">assignment</a>, or
+<a href="#Return_statements">return statement</a>,
+all function calls, method calls, and
 communication operations are evaluated in lexical left-to-right
 order.
 </p>
@@ -3715,6 +3717,12 @@ and indexing of <code>x</code> and the evaluation
 of <code>y</code> is not specified.
 </p>
 
+<pre>
+a := 1
+f := func() int { a = 2; return 3 }
+x := []int{a, f()}  // x may be [1, 3] or [2, 3]: evaluation order between a and f() is not specified
+</pre>
+
 <p>
 Floating-point operations within a single expression are evaluated according to
 the associativity of the operators.  Explicit parentheses affect the evaluation