On Wed, 22 Sep 2010 14:03:05 -0400, klickverbot <s...@klickverbot.at> wrote:
On 9/22/10 7:10 PM, Steven Schveighoffer wrote:
But the compiler will be able to tell. I think adding a
__traits(isStronglyPure, symbol) will be good for those rare occasions
where you really want to ensure purity.
static assert(__traits(isStronglyPure, foo));
-Steve
Shouldn't it be possible to implement that in a library template, not
requiring any additions to the compiler at all?
Well, if you can convert foo to it's parameter types, maybe. But the
compiler will already be doing this, won't it? If it's not, then what's
the point of caring?
-Steve
