On 5/15/2014 9:07 AM, Timon Gehr wrote: > Why? A memoizable function is still memoizable if it is changed internally to > memoize values in global memory, for example. I doubt a compiler could prove it was pure.