Proposal: Relax rules for 'pure'

[Steven Schveighoffer]

On Wed, 22 Sep 2010 14:03:05 -0400, klickverbot <see at 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