Conflict of names

Conflict of names

[Dmitriy Anisimkov]

with Text_Io;use Text_Io;
procedure Eq is 

   package Long_Equal is
      subtype LLI is Long_Long_Integer;
      function "="(Left,Right : LLi) return Boolean; 
      pragma Inline("=");
   end Long_Equal;   
   package body Long_Equal is
      function "="(Left,Right : Lli) return Boolean is 
      begin
         return Standard."="(Left,Right);
      end;
   end Long_Equal;   
   use Long_Equal;

   Lc : constant LLI :=  16#F_0000_0000#; 
   L : LLi := 0;
begin  
   L := Lc;
   if L=0 then 
-- Which call compiler must made Standard."=" or Long_Equal."="
-- or must generate error ?
-- The GNAT 3-10 for Win32 calls Standard."="
      Put_Line("------");
   end if;
end;


Compare with :

with Text_Io;use Text_Io;
procedure Eq is 

   subtype LLI is Long_Long_Integer;
   function "="(Left,Right : Lli) return Boolean is 
   begin
      Put_Line("--=--");
      return Standard."="(Left,Right);
   end;
   pragma Inline("=");

   Lc : constant LLI :=  16#F_0000_0000#; 
   L : LLi := 0;
begin  
   L := Lc;
   if L=0 then -- calls the function "="(Left,Right : Lli) return Boolean;
      Put_Line("------");
   end if;
end;