Re: Renaming subprogram and default_expression

[Christoph Grein <christoph.grein@eurocopter.com>]

> package Defaults is
> 
>    procedure Original (X : Integer);        <--- (1) declaration
>    procedure Renamed (X : Integer := -1);   <--- (2) declaration
> 
> private
> 
>    procedure Renamed (X : Integer := -1)    <--- (3) renaming declaration
>      renames Original;
>      
> end Defaults;
> 
> the declaration is needed, and you get the error.  Looks like a bug.

The above exegesis is wrong. There is no bog here, the compiler is correct.
The following is the original. Please note the difference. While (3) is a 
renaming declaration that is illegal at this place because there is a 
conflictiog declaration (2), (3') is a renaming as body, completing the 
declaration (2'). If you remove (2'), (3') becomes a renaming declaration.

>    type Typ is new Integer;
> 
>    procedure Original (X : Typ);        <--- (1') declaration
>    procedure Renamed (X : Typ := -1);   <--- (2') declaration
>    
>    procedure Renamed (X : Typ := -1)    <--- (3') renaming as body
>      renames Original;
>    
>    procedure Original (X : Typ) is      <--- proper body
>    begin
>       null;
>    end Original;
> 
> begin
>    null;
> end Defaults;