On 4/9/13 3:56 AM, Manu wrote:
Are you saying the example above is not actually valid code?struct Foo { int a = 0; pure int bar( int n ) { // Weakly pure a += n; return a; } } That's not pure. Call it twice with the same args, you'll different answers.
The values reachable from "this" are different in the two calls. Andrei
