lua-users home
lua-l archive

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

2009/6/19 Hisham <>
> So I'm guessing that my personal "expected" behavior for
> continue-within-repeat would be Peter Cawley's alternative number 5:
> > 5) A "continue" within a repeat ... until construct causes execution
> > to jump back to the statement immediately following the "repeat", thus
> > skipping the "until" clause entirely.

Unfortunately this solution makes it hard to reason with loop
invariants, since you can no longer make the assumption that the loop
condition holds at the beginning of each iteration.