Re: creating an array

[Maciej Sobczak <no.spam@no.spam.com>]

Dmitry A. Kazakov wrote:

>>for Index in The_Array_Type'Range loop
>>    The_Array(Index) := The_Function;
>>end loop;
> 
> The_Array_Type := (others => The_Function);
            ^^^^^
Rather The_Array := ...

But what's more important - could you point to a specific paragraph in 
AARM that guarantees that the two above are equivalent? I mean - is it 
guaranteed that (others=>The_Function) has the meaning of increasing 
order of indexes? Is is possible for the implementation to call 
The_Function just once and reuse its return value for all elements' 
assignments?
5.2 seems to be a relevant chapter, but I haven't found anything that 
would apply here. 4.3.3 does not help either.


-- 
Maciej Sobczak : http://www.msobczak.com/
Programming    : http://www.msobczak.com/prog/