On 08/03/2013 06:47 PM, Timon Gehr wrote: > Well, no. It is by design. All purity really means is that the part of > the existing store not reachable by following references in the > arguments will not be mutated. s/mutated/accessed/