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

[Steven Schveighoffer via Digitalmars-d]

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? I initially read the { ... } as part of the out contract.

-Steve