Re: Expressing range constraints in CNF form

[Antonio Corbi via Digitalmars-d]

On Sunday, 11 June 2017 at 15:25:11 UTC, Andrei Alexandrescu 
wrote:
On 6/11/17 11:11 AM, Nick Treleaven wrote:
On Sunday, 11 June 2017 at 00:28:58 UTC, Andrei Alexandrescu 
wrote:
[...]

Great!

Thanks.

[...]

I'm not getting how this works.

Ostensibly the function is trivial:

bool msg(string) { return true; }

It doesn't change the semantics. The compiler would recognize 
it as an intrinsic and would print the message if the clause to 
its left has failed.


Andrei

So this is trying to parafrase the perl/bash idiom:
```
commandSucceeds (...) || die ();
```

Isn't it?
So, the '&&' -and- shouldn't be '||' -or-?
Sorry for the noise if I'm wrong.

Antonio