Re: Trivial Ada question

[lutz@iks-jena.de (Lutz Donnerhacke)]

* Darren New wrote:
>"Robert I. Eachus" wrote:
>> Notice that a
>> compiler might generate identical code for these two examples.  What
>> makes one right and the other wrong?
>
>Because the compiler isn't the only one that reads the code?
>
>"exit when ..." says to leave the innermost loop.
>"goto skip" doesn't tell you anything about what "skip" means.

So simply write:

  INCREMENT: for dummy in 1 .. 1 loop
    for i in a'Range loop
      exit INCREMENT when condition (a (i));
    end loop;
    n := n + 1;
  end loop;

No 'evil' goto, and a 'telling' label.