[sc34wg3] CTM: Endless loops due to template invocations

[Robert Barta]

On Sat, Nov 03, 2007 at 06:47:25PM +0100, Lars Heuer wrote:

>         def tpl-a($x, $y)
>             tpl-a($x, $y)
>         end
> 
> Since we do not have conditions in CTM the "tpl-a" gets called over
> and over again.

I would not bother with that, i.e. inventing some artificial
restrictions into the spec. Maybe there is a valuable use-case (I
cannot think of one, though), but the attitude to "forbid where one
cannot see a use now" has a touch of middle-european buerocracy :-)

So implementation may or may not catch that. Maybe at some point
processors will be that fast that that even terminates :-)

\rho