RFC: Exempt .field from forms-not-allowed-after-block-calls

[marijnh]

So, playing with monads, I really wanted to do this:

optval.bind {|v| if something() { some(v + 1) } else { none }}
      .bind {|v| some(other_operation(v))}

i.e. chaining bind calls together. Such a thing is probably also useful in other minilanguage-like abstractions. It seems this syntax introduces no ambiguities -- expressions can not start with a dot token (.5 is a number token).

I guess allowing this doesn't make the rules any harder to explain -- in fact, there are fewer exceptions (now just calls and []-indexing) to enumerate.

[nikomatsakis]

Makes sense to me. I presume that a semicolon is required in the case of foo.bar {||...}.fld or foo.bar {||...}[0]?

[marijnh]

I presume that a semicolon is required in the case of foo.bar {||...}.fld or foo.bar {||...}[0]?

Yes, of course.

[brson]

I've wanted this too.