Re: DIP 1003 Formal Review

[Kagamin via Digitalmars-d]

On Monday, 15 May 2017 at 01:18:02 UTC, Jonathan M Davis wrote:
So, while I do like the idea of getting the word body back as 
an identifier, what really appeals to me here is getting rid of 
the need for it with contracts. And using function instead of 
body doesn't help that at all.

The purpose of the DIP is to reclaim the keyword. If you want 
shorter contracts, then:

int f(int a)
  in assert(a>0)
  out(r) assert(b==a+1)
{
  return a+1;
}