bug in purity validation

[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