Expressing range constraints in CNF form

Walter Bright via Digitalmars-d digitalmars-d at puremagic.com
Sun Jun 11 12:46:53 PDT 2017


On 6/11/2017 12:07 PM, crimaniak wrote:
> Regardless of the implementation method, this will require the previously 
> proposed Phobos refactoring. Independent special definitions have to be reduced 
> to general ones and use "static if" to select the algorithm. Otherwise, each 
> failed independent definition will give an additional error message, and the 
> compiler does not have the ability to determine which one is relevant.

You're right that there are issues with the `msg` thing in the presence of 
overloading.


More information about the Digitalmars-d mailing list