DIP 1009--Improve Contract Usability--Preliminary Review Round 1

[Timon Gehr via Digitalmars-d]

On 22.06.2017 23:51, MysticZach wrote:
> On Thursday, 22 June 2017 at 21:41:55 UTC, MysticZach wrote:
>>> The whole double parentheses is a bit ugly to me. Is there any 
>>> problem with
>>> out(return > 0)
>>> instead of
>>> out(r) (r > 0)
> 
> I'm sorry, I didn't read closely. I think that's just asking for 
> trouble, wanting to use `return` as an identifier. Timon found a 
> specific reason why, but in general contextual keywords are frowned upon 
> for precisely this type of ambiguity in the meaning of the code.


(It's not a contextual keyword. A contextual keyword is an identifier 
that is reserved in some contexts but not others.)