On 11/17/2013 12:59 PM, Jonathan M Davis wrote: > On Sunday, November 17, 2013 08:46:49 Ali Çehreli wrote: >> There is no reason why pure_func(a) cannot be executed only once, right? > > The reason would be that the compiler doesn't do flow analysis Cool. I thought that you meant a technical impossibility. :) Ali