Commit d4a16197 authored by Robert Griesemer's avatar Robert Griesemer

go spec: correct clarification of type declaration

R=rsc, r
CC=golang-dev
https://golang.org/cl/855043
parent ec53627e
......@@ -1704,11 +1704,9 @@ last non-empty expression list.
<p>
A type declaration binds an identifier, the <i>type name</i>, to a new type
that has the same definition (element, fields, channel direction, etc.) as
an existing type. With the exception of interface types, the new type is
an existing type. The new type is
<a href="#Properties_of_types_and_values">compatible</a> with, but
<a href="#Properties_of_types_and_values">different</a> from, the existing type.
A newly defined interface type is always
<a href="#Properties_of_types_and_values">identical</a> to the existing type.
</p>
<pre class="ebnf">
......@@ -1739,7 +1737,7 @@ type Cipher interface {
<p>
The declared type does not inherit any <a href="#Method_declarations">methods</a>
bound to the existing type, but the <a href="#Types">method set</a>
of elements of a composite type or of an interface type is not changed:
of an interface type or of elements of a composite type remains unchanged:
</p>
<pre>
......@@ -1757,8 +1755,7 @@ type PrintableMutex struct {
Mutex
}
// MyCipher is an interface type that has the same method set as Cipher;
// it is indistinguishable from Cipher.
// MyCipher is an interface type that has the same method set as Cipher.
type MyCipher Cipher
</pre>
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment