From: Robert Griesemer <gri@golang.org>
Date: Thu, 6 Mar 2014 03:37:44 +0000 (-0800)
Subject: spec: be more precise about underlying types of predeclared types
X-Git-Tag: go1.3beta1~452
X-Git-Url: http://www.git.cypherpunks.su/?a=commitdiff_plain;h=8d77d2c8f0f31159025cd0ddfb4d92147d659ca4;p=gostls13.git

spec: be more precise about underlying types of predeclared types

The underlying type of the predeclared type error is not itself,
but the interface it is defined as.

Fixes #7444.

LGTM=r, rsc
R=r, rsc, iant, ken
CC=golang-codereviews
https://golang.org/cl/71790044
---

diff --git a/doc/go_spec.html b/doc/go_spec.html
index dada503574..b89aafebe7 100644
--- a/doc/go_spec.html
+++ b/doc/go_spec.html
@@ -1,6 +1,6 @@
 <!--{
 	"Title": "The Go Programming Language Specification",
-	"Subtitle": "Version of March 5, 2014",
+	"Subtitle": "Version of March 6, 2014",
 	"Path": "/ref/spec"
 }-->
 
@@ -674,7 +674,8 @@ types, the dynamic type is always the static type.
 
 <p>
 Each type <code>T</code> has an <i>underlying type</i>: If <code>T</code>
-is a predeclared type or a type literal, the corresponding underlying
+is one of the predeclared boolean, numeric, or string types, or a type literal,
+the corresponding underlying
 type is <code>T</code> itself. Otherwise, <code>T</code>'s underlying type
 is the underlying type of the type to which <code>T</code> refers in its
 <a href="#Type_declarations">type declaration</a>.