Re: Renaming subprogram and default_expression

[Florian Weimer <fw@deneb.enyo.de>]

Florian Weimer <fw@deneb.enyo.de> writes:

> I don't know why the bug doesn't occur with string types.  Oh well.

I think I'm now on the right track.

GNAT ends up with something like this internally:

procedure defaults is
   procedure original (x : integer);
   procedure renamed (x : integer := "-" (1));
   procedure renamed (x : integer := "-" (1));
   
   procedure renamed (x : integer := -1) is  -- -1 is literal here
   begin
      original (x);
   end renamed;
   
   procedure original (x : integer) is
   begin
      null;
   end original;
begin
   null;
end defaults;

In this case, the error message is indeed appropriate.