On 26/06/14 18:38, bearophile wrote:
--------------------
https://github.com/D-Programming-Language/dmd/pull/3679
This introduces __traits(valueRange, expr), and I think it introduces
range values to the ?: expressions too.
The __traits(valueRange, expr) is meant to be useful for debugging range
values, that is meant to be improved in future. Currently this patch
seems stalled because Lionello seems to not provide few small things
Walter has asked.
--------------------
I feel I did address his points, but more importantly there was not much
feedback (from anyone) whether this is desirable in the first place. As
others have noted, success rate of PRs is not that high, so it's
defensible that the "boilerplate" tasks (such as updating the
documentation) are left until last.
I've closed the "valueRange" PR because I now think it's not a good
idea, since the values it returns are not stable and any code using it
can break in the future as VRP gets smarter. The obvious cases
("valueRange of ubyte returning 0 and 255 resp.") can already be tested
by using implicit integer casts, as @yebblies has mentioned in that PR.
L.
