code review 6874053: spec: channel operations are restricted by the channel ...

spec: channel operations are restricted by the channel direction

Also:
- 'for' statements with a range clause do not accept send-only
   channels
- '_, _ = range ch' is not equivalent to "_ = range ch" if ch
   is a channel (rewriting the latter to the former leads to
   an invalid range clause).

These clarifications document the status quo.

[gri, 2012-12-03 19:21:58]

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

I'd like you to review this change to
https://code.google.com/p/go

[rsc, 2012-12-03 19:34:34]

LGTM

https://codereview.appspot.com/6874053/diff/4001/doc/go_spec.html
File doc/go_spec.html (right):

https://codereview.appspot.com/6874053/diff/4001/doc/go_spec.html#newcode3252
doc/go_spec.html:3252: from the channel <code>ch</code>. The channel direction
must permit receive operations,
Link to direction definition?

[gri, 2012-12-03 21:43:40]

Anybody else?
- gri

https://codereview.appspot.com/6874053/diff/4001/doc/go_spec.html
File doc/go_spec.html (right):

https://codereview.appspot.com/6874053/diff/4001/doc/go_spec.html#newcode3252
doc/go_spec.html:3252: from the channel <code>ch</code>. The channel direction
must permit receive operations,
On 2012/12/03 19:34:35, rsc wrote:
> Link to direction definition?

The definition is in the channel type section which is linked just before. Happy
to add another link - but in general we haven't done this in the spec in other
sections with similar situations.

[iant, 2012-12-03 22:17:49]

LGTM

[gri, 2012-12-03 22:23:48]

*** Submitted as https://code.google.com/p/go/source/detail?r=08462805eb2c ***

spec: channel operations are restricted by the channel direction

Also:
- 'for' statements with a range clause do not accept send-only
   channels
- '_, _ = range ch' is not equivalent to "_ = range ch" if ch
   is a channel (rewriting the latter to the former leads to
   an invalid range clause).

These clarifications document the status quo.

R=rsc, r, iant, ken
CC=golang-dev
https://codereview.appspot.com/6874053