Re: Parameter evaluation order

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

matthew_heaney@acm.org (Matthew Heaney) writes:

> In article <x7vemz7xncq.fsf@pogner.demon.co.uk>, Simon Wright
> <simon@pogner.demon.co.uk> wrote:
> 
> >> 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.
> 
> The term is "linear elaboration" of declarations.  You need this so you can
> use the value of an object previously declared.  It's the same as the let*
> expression in Lisp (compare let).

Yeah, but a compiler *might* have been given permission to re-order
elaborations if it could tell that there would be no difference ..