Hi!
Currently, the Lua manual says:
A label is visible in the entire block where it is defined
So, the following code is non-compilable:
goto L
if true then
::L::
end
It would be useful to allow "goto" to jump across block boundaries
(as long as it does not
enter into the scope of a local variable).
In other words, a label should be visible in the current function,
not only in the current block.