Re: Generic instantiation before actual subprogram body

[Georg Bauhaus <bauhaus@futureapps.invalid>]

On 04.12.14 11:03, Natasha Kerensikova wrote:
> package body Which_Does_Not_Raise_Program_Error is
>
>     procedure Local_Procedure;
>
>     procedure Local_Procedure is
>     begin
>        <some code here>
>     end Local_Procedure;
>
>     procedure Instantiated is new Generic_Procedure (Local_Procedure);
>
>     procedure Public_Procedure is
>     begin
>        Instantiated;
>     end Public_Procedure;
>
> end Which_Does_Not_Raise_Program_Error;


While the following does not answer the question, Ada's "separate" facility
can provide for some source text reordering. It can keeping bodies out
of sight when they are not needed to be seen by the reader. Maybe this helps:

package body Which_Does_Not_Raise_Program_Error is

    procedure Local_Procedure;  -- or drop this

    procedure Local_Procedure is separate;

    procedure Instantiated is new Generic_Procedure (Local_Procedure);

    procedure Public_Procedure is
    begin
       Instantiated;
    end Public_Procedure;

end Which_Does_Not_Raise_Program_Error;

separate (Which_Does_Not_Raise_Program_Error)
procedure Local_Procedure is
begin
    null;
end Local_Procedure;