code review 1376042: go spec: change def. of "type compatibility" to be non-...

go spec: change def. of "type compatibility" to be non-recursive
and adjust conversion rules.

Also:
- clarification of type identity (no language change)
- adjust special rules for channel assignment/comparison to
  require identical element types (in correspondence to non-
  recursiveness of type compatibility)

[gri, 2010-05-28 18:22:04]

Hello golang-dev@googlegroups.com,

I'd like you to review this change.

[gri, 2010-05-28 18:23:41]

Hello rsc, iant, ken2, r (cc: golang-dev@googlegroups.com),

Please take another look.

[rsc1, 2010-05-28 18:37:13]

LGTM

http://codereview.appspot.com/1376042/diff/9001/6002
File doc/go_spec.html (right):

http://codereview.appspot.com/1376042/diff/9001/6002#newcode3281
doc/go_spec.html:3281: Such a conversion renames the type but does not change
the representation of the
changes the type but not the representation of x

http://codereview.appspot.com/1376042/diff/9001/6002#newcode4492
doc/go_spec.html:4492: The built-in function <code>copy</code> copies array or
slice elements from
s/array or //  (dreg from last change)

http://codereview.appspot.com/1376042/diff/9001/6002#newcode4495
doc/go_spec.html:4495: Both arguments must have the same element type
<code>T</code> and must be
s/the same/identical/

[gri, 2010-05-28 18:45:47]

Hello rsc, iant, ken2, r (cc: golang-dev@googlegroups.com),

Please take another look.

[r, 2010-05-28 19:04:21]

LGTM

http://codereview.appspot.com/1376042/diff/14001/1002
File doc/go_spec.html (right):

http://codereview.appspot.com/1376042/diff/14001/1002#newcode1253
doc/go_spec.html:1253: Two anonymous fields are considered to have the same
name. Lowercase field
Lower-case

http://codereview.appspot.com/1376042/diff/14001/1002#newcode1266
doc/go_spec.html:1266: with the same names and identical function types.
Lowercase method names from
Lower-case

[iant, 2010-05-28 21:15:27]

LGTM

[gri, 2010-05-28 21:17:36]

*** Submitted as http://code.google.com/p/go/source/detail?r=bfadbd48d3ea ***

go spec: change def. of "type compatibility" to be non-recursive
and adjust conversion rules.

Also:
- clarification of type identity (no language change)
- adjust special rules for channel assignment/comparison to
  require identical element types (in correspondence to non-
  recursiveness of type compatibility)

R=rsc, iant, ken2, r
CC=golang-dev
http://codereview.appspot.com/1376042