Expressing range constraints in CNF form

[Stanislav Blinov via Digitalmars-d]

On Sunday, 11 June 2017 at 16:28:23 UTC, Timon Gehr wrote:

> I'd prefer
>
> bool msg(bool constraint, string message){ return constraint; }
>
> This does not require the compiler to dive into a branch it 
> wouldn't consider otherwise, and the pairing of constraint to 
> message is less ad-hoc.

Where were you while Steven was destroying me? :)

http://forum.dlang.org/thread/mcxeymbslqtvfijxirmy@forum.dlang.org