On Sunday, 27 July 2014 at 20:20:54 UTC, Walter Bright wrote:
On 7/27/2014 6:52 AM, bearophile wrote:
A possible piece of the solution is the recently suggested
__trait(valueRange,
exp), but alone that's not enough.
Instead of adding more language features, purpose existing ones:
assert(exp >= min && exp <= max);
That's great for communicating bounds from code to the compiler,
but what bearophile is talking about is accessing the compiler's
value rage propagation information in code. The other way around.
