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

[Timon Gehr via Digitalmars-d]

On 20.06.2017 13:57, Mike Parker wrote:
> DIP 1009 is titled "Improve Contract Usability".
> 
> https://github.com/dlang/DIPs/blob/master/DIPs/DIP1009.md
> 
> All review-related feedback on and discussion of the DIP should occur in 
> this thread. The review period will end at 11:59 PM ET on July 3 (3:59 
> AM GMT July 4), or when I make a post declaring it complete.
> 
> At the end of Round 1, if further review is deemed necessary, the DIP 
> will be scheduled for another round. Otherwise, it will be queued for 
> the formal review and evaluation by the language authors.
> 
> Thanks in advance to all who participate.
> 
> Destroy!


The DIP is missing the corresponding syntax for invariants:

class C{
     private int x=1;
     invariant(x>0, "x must stay positive");
}

Implementation:
https://github.com/dlang/dmd/compare/master...tgehr:contract-syntax