Source file: test_ambig.ada   Mon Jun 11 13:30:34 2001

    1 procedure test_ambig is
    2     type func_ptr is access function (param : integer) return integer;
    3     function func (y : integer := 4) return func_ptr is begin return null; end;
    4     procedure P (x : in integer) is begin null; end;
    5     procedure P (x : in func_ptr) is begin null; end;
    6 
    7 -- and my question is about the procedure call:
    8 
    9 begin
   10 
   11     P (func (5));       
          *
*****Error: LRM:8.6(31) Ambiguous call, possible definitions of P appear at
*****        line 5 of file test_ambig.ada, line 4 (same file).
   12 
   13 end;
   14 
   15