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
Has come up a couple of times and it's a good idea to allow more
control over which checks are enabled.
I find the suggested switch levels a bit counter-intuitive and
would suggest
-release=assert,in,out,invariant
to be the equivalent of the current
-release
while allowing to enable any subset, e.g.
-release=assert,in.
The effect of
-release=assert -release=in
would be to enable both.
Using -release= also avoids any confusion about the interaction
of -release and -contracts=.