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