DIP 1006 - Preliminary Review Round 1

[Martin Nowak]

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=.