On 15/04/12 10:29, Joseph Rushton Wakeling wrote:
... the compiler accepts it. Whether that's because it's acceptably pure, or because the compiler just doesn't detect this case of impurity, is another matter. The int k is certainly mutable from outside the scope of the function, so AFAICS it _should_ be disallowed.
Meant to say: outside the scope of the struct.
