Re: stopping a loop iteration without exiting it

["Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>]

On 2018-01-10 22:14, G. B. wrote:
> Dmitry A. Kazakov <mailbox@dmitry-kazakov.de> wrote:
>> On 09/01/2018 21:07, G. B. wrote:
>>> Dmitry A. Kazakov <mailbox@dmitry-kazakov.de> wrote:
>>> .
>>>> No, because the same label is also *after* the loop statement:
>>>
>>> which shows that having *goto* jump to indicators
>>> of another control structure destroys it as a building block.
>>
>> I have no idea what this is supposed to mean.
> 
> 
> L:
> [for|while...] loop
>     ...
>     goto L;
>     ...
> end loop L;
> 
> Both outer Ls are part of what indicates the beginning
> and end of the loop, resp. So, as others said in this thread,
> there is syntactical ambiguity when using L with goto.
> The meaning of the goto L is not clear or agreed upon
> either, as readers here have said.

Substitute "exit" for "goto" and reread your text.

> A loop statement is a means of controlling flow. So is goto.
> A loop controls iteration. Suppose that an additional
> goto is needed to express that. Then this thread will
> have discovered that Ada loops are deficient as building
> blocks of iteration.

Substitute "if" for "goto".

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de