parameters evaluation

[Sami Evangelista <sami.evangelista@wanadoo.fr>]

hello all

i have noticed a strange thing about expressions evaluations during a 
procedure or function call. it appears that the parameters are evaluated 
in the "wrong" order. Try this

-------------------------------------------------------------
with ADA.TEXT_IO;
use ADA.TEXT_IO;

procedure Proc is
    function F return Boolean is begin Put_Line("F"); return True; end;
    function G return Boolean is begin Put_Line("G"); return True; end;
    function H(B1, B2 : in Boolean) return Boolean is
    begin
       put_Line("H");
       return True;
    end;

begin
    if H(F, G) then null; end if;
end;
-------------------------------------------------------------

the output should "logically" be
F
G
H

but it is
G
F
H

so be careful if your functions change global variables or have others 
effects which is by the way not very clean.

Sami Evangelista