Re: Labeled exit within generalized labeled loop not allowed?

["Randy Brukardt" <randy@rrsoftware.com>]

"Niklas Holsti" <niklas.holsti@tidorum.invalid> wrote in message 
news:a6ie8cFfi4U1@mid.individual.net...
...
> The conclusion is that I (as one example of an Ada programmer) usually 
> would not code an exit statement (whether labeled or unlabeled) in a 
> simple loop that uses the generalized loop syntax, because then the loop 
> would not process all the elements in the container.

The AARM specifically suggests using an exit statement if you need to just 
handle part of a container. See A.18.2(230.a-c/3).

That's the justification for why there is an iterator form that has a start 
location, but no iterator with a stop location. (Beyond the fact that there 
are problems if the stop location is not in the container.)

So it is intended that such exits be used. I'd expect the need to be 
relatively rare, but certainly not non-existent.

                              Randy.