Re: purity and memory allocations/pointers

[Timon Gehr]

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/