lua-users home
lua-l archive

[Date Prev][Date Next][Thread Prev][Thread Next] [Date Index] [Thread Index]


On Tue, Jun 28, 2011 at 12:06:47AM +0200, Tony Finch wrote:
> On 23 Jun 2011, at 08:57, Dirk Laurie <dpl@sun.ac.za> wrote:
> > 
> > Simplest would be: rules for label visibility are exactly the same as 
> > for local variables.
> 
> That would prevent forward jumps.
> 
Consider these operations on a label xxx:
    (1) Define xxx as a label name if it has not yet been done.
    (2) Associate an address with xxx.
    (3) Transfer control to xxx.

Your statement would be correct if `goto xxx` does (3) and `::xxx::`
does (1) and (2).  But I have in mind that `goto xxx` would do
(1) and (3).  Indirect jump to label xxx. 

Dirk