Re: bug in purity validation

2011-06-11 Thread Stewart Gordon 

On 05/06/2011 11:10, Timon Gehr wrote:
snip

Ah, the implicit this parameter...


What's that to do with anything?

Stewart.

Re: bug in purity validation

2011-06-11 Thread Timon Gehr 
Stewart Gordon wrote:
 On 05/06/2011 11:10, Timon Gehr wrote:
 snip
 Ah, the implicit this parameter...

 What's that to do with anything?

 Stewart.

I weakly pure function may modify any memory location reachable by its (mutable)
parameters. What I didn't realize at first and late in the night is that 
obviously
this also applies to the implicit 'this' parameter.


Timon