Expressing range constraints in CNF form

[bachmeier via Digitalmars-d]

On Sunday, 11 June 2017 at 19:51:11 UTC, ketmar wrote:

> i think, that something like `__constraint(condition, 
> "message")` is ok, and it should be built-in, just like 
> `__traits()`. so compiler can collect those messages, and only 
> show 'em if the matcher is failed to find anything. yeah, 
> another hack in interpreter, but fairly small, and should solve 
> "what constraint is really failed" problem.

This is really nice. I like it better than my suggestion.