Re: Help needed for ada package

["Martin Dowie" <martin.dowie@baesystems.com>]

Georg Bauhaus wrote:
> Likewise, you can write loops,
>
>    for k in ID'range loop
>       ...
>    end loop;
>
> or
>
>    some_variable: Some_Array_Type;
>    ...
>    for k in some_variable'first .. some_variable'last loop
>       -- use some_variable(k) here
>    end loop;

but preferably:

for k in some_variable'range loop
   -- use some_variable (k) here
end loop;

The compiler will deduce there are no runtime checks required with this
construct but I've seen plenty compilers that will insert checks in the
other forms (even though we can see they aren't really needed).

Cheers

-- Martin