Re: stopping a loop iteration without exiting it

[G. B. <nonlegitur@nmhp.invalid>]

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. 

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.