Re: creating an array

[Jean-Pierre Rosen <rosen@adalog.fr>]

Maciej Sobczak a �crit :

> 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.
> 
> 
4.3.3(23): each component is evaluated once (it is thus not allowed to 
evaluate the function only once), but this happens in an arbitrary order 
(there is no guarantee that the function is called in increasing index 
order).

-- 
---------------------------------------------------------
            J-P. Rosen (rosen@adalog.fr)
Visit Adalog's web site at http://www.adalog.fr