> 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.