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.

Reply via email to