Re: Renaming subprogram and default_expression

["Alexander Boucke" <alexb@lufmech.rwth-aachen.de>]

Florian Weimer wrote in message <87zo2cgkib.fsf@deneb.enyo.de>...
>I think so.  I'm currently tracking it down.  It appears that the
>generated body for the renaming declaration is checked for full
>conformance to the specification of the renamed subprogram, which is
>wrong.


This does not seem to be the case for strings edit:

package body Strings_Edit

......
   package Roman_Edit is
      procedure Get
                (  Source  : in String;
                   Pointer : in out Integer;
                   Value   : out Roman;
                   First   : in Roman := Roman'First;
                   Last    : in Roman := Roman'Last;
                   ToFirst : in Boolean := False;
                   ToLast  : in Boolean := False
                );
..............
   end Roman_Edit;
   package body Roman_Edit is separate;

   procedure Get
             (  Source  : in String;
                Pointer : in out Integer;
                Value   : out Roman;
                First   : in Roman := Roman'First;
                               -- ^^ comment this
                Last    : in Roman := Roman'Last;
                                -- ^^ comment this
                ToFirst : in Boolean := False;
                ToLast  : in Boolean := False
             )  renames Roman_Edit.Get;
...............
end Strings_Edit;

Type roman is range 1..3999; is defined in strings edit.ads
Note, that gnat3.14p does not complain about the preset values for the
booelan arguments, only for the new integer type. If I comment these default
values, the program compiles. This seems to be the same error as in the
short testprog. starting this thread: A new integer-type was used there,
too.
I assume now, that the selfdefined type makes the problem here.

Regards,
Alexander