[Date Prev][Date Next][Thread Prev][Thread Next]
[Date Index]
[Thread Index]
- Subject: Re: Next Version of Lua?
- From: Florian Weimer <fw@...>
- Date: Sat, 20 Jun 2009 12:24:33 +0200
* Henk Boom:
> 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.
You can't do that for repeat ... until anyway. 8-)
- References:
- Next Version of Lua?, Olivier Hamel
- Re: Next Version of Lua?, Jim Whitehead II
- Re: Next Version of Lua?, Olivier Hamel
- Re: Next Version of Lua?, Luiz Henrique de Figueiredo
- Re: Next Version of Lua?, Joshua Jensen
- Re: Next Version of Lua?, Roberto Ierusalimschy
- Re: Next Version of Lua?, Florian Weimer
- Re: Next Version of Lua?, Roberto Ierusalimschy
- Re: Next Version of Lua?, Hisham
- Re: Next Version of Lua?, Henk Boom