Paging Walter Bright: Contextual Keywords

[Dicebot via Digitalmars-d]

On Monday, 7 November 2016 at 13:24:20 UTC, Timon Gehr wrote:
> On 07.11.2016 12:38, Dicebot wrote:
>> On 11/07/2016 08:40 AM, Stefan Koch wrote:
>>>> Why not make it a plain identifier ? We give identifier 
>>>> special
>>>> meaning in various places, like scope(exit).
>>>
>>> If I am not mistaken we do not need body ay at all.
>>
>> It is matter of how smooth deprecation phase is. Completely 
>> removal of
>> `body` is OK long-term but that would mean one have to wait 
>> several
>> years of deprecation phase before it can be used as identifier 
>> in user
>> code. Making it deprecated _and_ contextual results in 
>> immediate
>> availability.
>>
>
> What's the new syntax for contracts if body is removed?

Currently https://github.com/dlang/DIPs/pull/48  
(https://github.com/MetaLang/DIPs/blob/8f3ac3a133cd1f9095dd992f38ae377f5987caa4/DIPs/DIP1003.md) proposes either use `function` keyword instead of `body` or simply omit it with two blocks following each other.