Re: New scoping rule for "repeat" and "continue" patch

[Roberto Ierusalimschy <roberto@...>]

> If the "continue" statement is executed, the "until" clause will be
> evaluated but the local "done" is uninitialised.

Nice point. BTW, a goto mechanism would introduce the same kind of
problem:

    goto a
    local x = f()
 a: y = x

The compiler could detect such cases and signal an error ("jumping
across local declaration"), but that would make the mechanism more
complex (to implement, to explain, etc.).

(And, of course, the syntax of labels should not be ID":" ...)

-- Roberto