On Wednesday, 12 April 2017 at 13:45:08 UTC, Andrea Fontana wrote:
On Wednesday, 12 April 2017 at 11:25:09 UTC, Mike Parker wrote:
DIP 1006 is titled "Providing more selective control over
contracts".
https://github.com/dlang/DIPs/blob/master/DIPs/DIP1006.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 April 26 (3:59 AM GMT), 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!
Why not
--disable-contracts=invariant
--disable-contracts=inout,invariants
--disable-contracts=asserts,inout
And so on?
It was a conscious decision to provide something simple to use,
over something which allowed more control (good old KISS). If a
use case for it develop in the future, the addition will be
trivial.