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

[Moritz Maxeiner via Digitalmars-d]

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/wgarisncalisyleckikg@forum.dlang.org