Re: Renaming subprogram and default_expression

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

lutz@iks-jena.de (Lutz Donnerhacke) writes:

> * Florian Weimer wrote:
>>Christoph Grein <christoph.grein@eurocopter.com> writes:
>>> So it looks OK. Did some compiler complain?
>>
>>GNAT 3.14p and GNAT 5.00w, both with the same, confusing error
>>message: 'default expression for "X" does not match'.
>
> Initial program to reproduce this error in 3.13p. May it help you.
>
> procedure Defaults is
>    type Typ is new Integer;
>
>    procedure Original (X : Typ);
>    procedure Renamed (X : Typ := -2);
>    procedure Renamed (X : Typ := -3) renames Original;

This is illegal because full conformance of the
subprogram_specification to a preceding declaration is required, see
RM 8.5.4(5).  The error message is correct in this case.