Calling through function pointer--syntax question

[adam@irvine.com]

Is the last procedure call in the program ambiguous?

If this is a legal program, what should it do?

                                -- thanks, Adam


with text_io;  use text_io;
procedure test is
    
    type func_ptr is access function (param : integer) return integer;
    
    procedure P (x : in integer);
    procedure P (x : in func_ptr);
    function func1 (param : integer) return integer;
    
    function func (y : integer := 4) return func_ptr is
    begin
        text_io.put_line ("func parameter is " & integer'image (y));
        return func1'access;
    end func;

    procedure P (x : in integer) is
    begin
        text_io.put_line ("P with integer parameter called: " &
                          integer'image (x));
    end P;

    procedure P (x : in func_ptr) is
    begin
        text_io.put_line ("P with function parameter called");
    end P;

    function func1 (param : integer) return integer is
    begin
        text_io.put_line ("func1 parameter is " & integer'image (param));
        return param * 2;
    end func1;

begin
    P (func (5));       -- IS THIS AMBIGUOUS?
end test;

 -----  Posted via NewsOne.Net: Free (anonymous) Usenet News via the Web  -----
  http://newsone.net/ -- Free reading and anonymous posting to 60,000+ groups
   NewsOne.Net prohibits users from posting spam.  If this or other posts
made through NewsOne.Net violate posting guidelines, email abuse@newsone.net