go spec: clarification of make arguments,

specification of runtime exceptions for
make and division by zero

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

diff --git a/doc/go_spec.html b/doc/go_spec.html
index fe592ee97c9036970a4179a8e920d1cf2b949e8b..1cbab6dffad07dea809a97398d5110fee3144546 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 March 25, 2010 -->
+<!-- subtitle Version of May 4, 2010 -->
 
 <!--
 Todo
@@ -2869,7 +2869,6 @@ For integer values, <code>/</code> and <code>%</code> satisfy the following rela
 
 <p>
 with <code>(a / b)</code> truncated towards zero.
-Examples:
 </p>
 
 <pre>
@@ -2881,6 +2880,7 @@ Examples:
 </pre>
 
 <p>
+If the divisor is zero, a <a href="#Run_time_panics">run-time panic</a> occurs.
 If the dividend is positive and the divisor is a constant power of 2,
 the division may be replaced by a right shift, and computing the remainder may
 be replaced by a bitwise "and" operation:
@@ -2921,6 +2921,9 @@ follows:
 For floating-point numbers,
 <code>+x</code> is the same as <code>x</code>,
 while <code>-x</code> is the negation of <code>x</code>.
+The result of a floating-point division by zero is not specified beyond the
+IEEE-754 standard; whether a <a href="#Run_time_panics">run-time panic</a>
+occurs is implementation-specific.
 </p>
 
 <h3 id="Integer_overflow">Integer overflow</h3>
@@ -4421,24 +4424,24 @@ The memory is initialized as described in the section on initial values
 </p>
 
 <pre class="grammar">
-make(T [, optional list of expressions])
-</pre>
+Call             Type T     Result
 
-<p>
-For instance
-</p>
+make(T, n)       slice      slice of type T with length n and capacity n
+make(T, n, m)    slice      slice of type T with length n and capacity m
 
-<pre>
-make(map[string] int)
+make(T)          map        map of type T
+make(T, n)       map        map of type T with initial space for n elements
+
+make(T)          channel    synchronous channel of type T
+make(T, n)       channel    asynchronous channel of type T, buffer size n
 </pre>
 
-<p>
-creates a new map value and initializes it to an empty map.
-</p>
 
 <p>
-The parameters affect sizes for allocating slices, maps, and
-buffered channels:
+The arguments <code>n</code> and <code>m</code> must be of integer type.
+A <a href="#Run_time_panics">run-time panic</a> occurs if <code>n</code>
+is negative or larger than <code>m</code>, or if <code>n</code> or
+<code>m</code> cannot be represented by an <code>int</code>.
 </p>
 
 <pre>