On Friday, 23 June 2017 at 17:09:18 UTC, Steven Schveighoffer
wrote:
On 6/23/17 11:41 AM, Moritz Maxeiner wrote:
On Friday, 23 June 2017 at 14:53:44 UTC, Steven Schveighoffer
wrote:
On 6/23/17 9:58 AM, Moritz Maxeiner wrote:
out (; globalStateStillValid) { ... }
What's that mean?
Parenthesisless function call (as function calls are
expressions).
OK. so if I read that correctly, you are saying you don't need
to use the result in your out contract, and the { ... } is
actually the function body?
Yes, as was proposed here[1]
I initially read the { ... } as part of the out contract.
The example was just meant to give an overview of all contract
specification variants of the latest proposal (which I support).
[1]
http://forum.dlang.org/post/wgarisncalisyleck...@forum.dlang.org