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