code review 6736071: spec: clarify returns, defer statements, and panics

doc/go_spec.html

 <!--{
         "Title": "The Go Programming Language Specification",
-        "Subtitle": "Version of October 23, 2012",
+        "Subtitle": "Version of November 1, 2012",
         "Path": "/ref/spec"
 }-->
 
 <!--
 TODO
 [ ] need language about function/method calls and parameter passing rules
 [ ] last paragraph of #Assignments (constant promotion) should be elsewhere
     and mention assignment to empty interface.
 [ ] need to say something about "scope" of selectors?
 [ ] clarify what a field name is in struct declarations
@@ skipping 97 matching lines @@
 The following terms are used to denote specific Unicode character classes:
 </p>
 <pre class="ebnf">
 newline        = /* the Unicode code point U+000A */ .
 unicode_char   = /* an arbitrary Unicode code point except newline */ .
 unicode_letter = /* a Unicode code point classified as "Letter" */ .
 unicode_digit  = /* a Unicode code point classified as "Decimal Digit" */ .
 </pre>
 
 <p>
-In <a href="http://www.unicode.org/versions/Unicode6.0.0/">The Unicode Standard 6.0</a>,
+In <a href="http://www.unicode.org/versions/Unicode6.2.0/">The Unicode Standard 6.2</a>,
 Section 4.5 "General Category"
 defines a set of character categories.  Go treats
 those characters in category Lu, Ll, Lt, Lm, or Lo as Unicode letters,
 and those in category Nd as Unicode digits.
 </p>
 
 <h3 id="Letters_and_digits">Letters and digits</h3>
 
 <p>
 The underscore character <code>_</code> (U+005F) is considered a letter.
@@ skipping 1989 matching lines @@
 to specify multiple elements with the same field name or
 constant key value.
 </p>
 
 <p>
 For struct literals the following rules apply:
 </p>
 <ul>
         <li>A key must be a field name declared in the LiteralType.
         </li>
-        <li>A literal that does not contain any keys must
+        <li>An element list that does not contain any keys must
             list an element for each struct field in the
             order in which the fields are declared.
         </li>
         <li>If any element has a key, every element must have a key.
         </li>
-        <li>A literal that contains keys does not need to
+        <li>An element list that contains keys does not need to
             have an element for each struct field. Omitted fields
             get the zero value for that field.
         </li>
         <li>A literal may omit the element list; such a literal evaluates
-                to the zero value for its type.
+            to the zero value for its type.
         </li>
         <li>It is an error to specify an element for a non-exported
             field of a struct belonging to a different package.
         </li>
 </ul>
 
 <p>
 Given the declarations
 </p>
 <pre>
@@ skipping 2455 matching lines @@
         n = len(p)
         return
 }
 </pre>
         </li>
 </ol>
 
 <p>
 Regardless of how they are declared, all the result values are initialized to the zero
 values for their type (§<a href="#The_zero_value">The zero value</a>) upon entry to the
-function, and they are set by the "return" statement before deferred functions are executed,
-if any.
+function. A "return" statement that specifies results sets the result parameters before
+any deferred functions are executed.
 </p>
 
 <!--
 <p>
 <span class="alert">
 TODO: Define when return is required.<br />
 </span>
 </p>
 -->
 
@@ skipping 108 matching lines @@
 </p>
 
 <pre class="ebnf">
 FallthroughStmt = "fallthrough" .
 </pre>
 
 
 <h3 id="Defer_statements">Defer statements</h3>
 
 <p>
-A "defer" statement invokes a function whose execution is deferred to the moment the surrounding
-function returns, either because the surrounding function executed a <a href="#Return_statements">return statement</a>,
-reached the end of its <a href="#Function_declarations">function body</a>, or because the corresponding goroutine is
-<a href="#Handling_panics">panicking</a>.
+A "defer" statement invokes a function whose execution is deferred
+to the moment the surrounding function returns, either because the
+surrounding function executed a <a href="#Return_statements">return statement</a>,
+reached the end of its <a href="#Function_declarations">function body</a>,
+or because the corresponding goroutine is <a href="#Handling_panics">panicking</a>.
 </p>
 
 <pre class="ebnf">
 DeferStmt = "defer" Expression .
 </pre>
 
 <p>
 The expression must be a function or method call.
 Each time the "defer" statement
 executes, the function value and parameters to the call are
@@ skipping 852 matching lines @@
 </li>
 
 <li>For a variable <code>x</code> of array type: <code>unsafe.Alignof(x)</code> is the same as
    <code>unsafe.Alignof(x[0])</code>, but at least 1.
 </li>
 </ol>
 
 <p>
 A struct or array type has size zero if it contains no fields (or elements, respectively) that have a size greater than zero. Two distinct zero-size variables may have the same address in memory.
 </p>