[Date Prev][Date Next][Thread Prev][Thread Next]
[Date Index]
[Thread Index]
- Subject: Re: Next Version of Lua?
- From: Henk Boom <henk@...>
- Date: Fri, 19 Jun 2009 22:04:24 -0400
2009/6/19 Hisham <hisham.hm@gmail.com>
> 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.
Henk