klickverbot 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)); -SteveShouldn't it be possible to implement that in a library template, not requiring any additions to the compiler at all?
Yes. In fact, it's easy.