On Wed, Jun 23, 2010 at 20:21, Darren Duncan <dar...@darrenduncan.net>wrote:
> If all invocations of myop use a code literal for the $y argument, then > this can be checked at compile time, but if the argument is a variable, they > have to look further out. > > Yup. For those who don't quite see what this leads to, consider the Halting Problem for why this looking around, out, in, between, sideways, back, and forward must have cut-off points. -- Jan