An entity claiming to be Piers Cawley (pdcawley@bofh.org.uk) wrote: : : Isn't this a halting problem issue? : : foo { bar() if bar() && bar() }; : : How many times does bar get run? : I had wondered that myself, but I don't think it is. Schwern's question was how could you determine if it is the same code, not the same function. If you replaced bar() with $bar->(), then it would be an instance of the halting problem. In that case, to prove that the functions referenced were identical, you would have to run them. Mark -- [] | "Girls in occupied countries always [] Mark Rogaski | get into trouble with soldiers," she [] wendigo@pobox.com | said, when I asked her what the Virgin [] | birth was. -- Florence King, CoaFSL