Re: Parameter evaluation order

[Simon Wright <simon@pogner.demon.co.uk>]

matthew_heaney@acm.org (Matthew Heaney) writes:

> No, this is not a bug.  The language does not mandate an order of
> evaluation of parameters.
> 
> There is a very simple fix:
> 
> declare
>    Arg1 : constant Arg1Type := Func_One;
>    Arg2 : constant Arg2Type := Func_Two;
> begin
>    proc (Arg1, Arg2);
> end;

I was wondering if, because the order need arises from [invisible?]
side-effects, a compiler might be allowed to reorder the declarations;
but 3.11(7) says

The elaboration of a declarative_part consists of the elaboration of
the declarative_items, if any, in the order in which they are given in
the declarative_part.