go spec: minor clarification of scope rule for functions

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

diff --git a/doc/go_spec.html b/doc/go_spec.html
index e91730a0215a8d27d0be1f2fb898d51cca1b0eef..85dfc44bdac00300633155c87aa2b0e093cedf0c 100644 (file)
--- a/doc/go_spec.html
+++ b/doc/go_spec.html
@@ -1,5 +1,5 @@
 <!-- title The Go Programming Language Specification -->
-<!-- subtitle Version of February 22, 2011 -->
+<!-- subtitle Version of March 3, 2011 -->
 
 <!--
 TODO
@@ -1431,8 +1431,8 @@ Go is lexically scoped using blocks:
        <li>The scope of a predeclared identifier is the universe block.</li>
 
        <li>The scope of an identifier denoting a constant, type, variable,
-           or function declared at top level (outside any function) is the
-           package block.</li>
+           or function (but not method) declared at top level (outside any
+           function) is the package block.</li>
 
        <li>The scope of an imported package identifier is the file block
            of the file containing the import declaration.</li>
@@ -5152,7 +5152,6 @@ The following minimal alignment properties are guaranteed:
 <h2 id="Implementation_differences"><span class="alert">Implementation differences - TODO</span></h2>
 <ul>
        <li><span class="alert">Implementation does not honor the restriction on goto statements and targets (no intervening declarations).</span></li>
-       <li><span class="alert">Gccgo: The <code>append</code> built-in function is not yet implemented.</span></li>
        <li><span class="alert">Gccgo: Method expressions are partially implemented.</span></li>
        <li><span class="alert">Gccgo: allows only one init() function per source file.</span></li>
 </ul>