H. S. Teoh: > But since this is apparently not yet implemented, just what *is* > implemented currently when you specify 'pure'? Common subexpression > factorization? Hoisting? Not (yet) memoization, apparently. Common subexpression factorization for strongly pure functions that return integral values. Bye, bearophile