Cannot implement with an instantiation?!

Cannot implement with an instantiation?!

[amado.alves]

Ada is being very bad to me. She does not let me instantiate a generic
procedure Generic_Connect nested in a generic package body
Generic_Graphs. Is she in any reason? And how do I make things right?
Thanks a lot.

generic
   ...
package Generic_Graphs is
   ...
   procedure Connect
     (Digraph : in out Digraph_Type;
      From, To : Node_Array);
   ...
end;


package body Generic_Graphs is
   ...

   generic
      ...
   procedure Generic_Connect
     (Digraph : in out Digraph_Type;
      From, To : Node_Array);

   procedure Generic_Connect
     (Digraph : in out Digraph_Type;
      From, To : Node_Array) is
   begin
      ...
   end;

   procedure Connect
     (Digraph : in out Digraph_Type; -- <== GNAT complains here saying
that a
      From, To : Node_Array)         -- formal part is not allowed in
an instantiation
   is new Generic_Connect (True);

   ...
end;


That's ok.

But if the offending part is removed then GNAT says that it conflicts
with the declaration in the package spec.

This is silly. I cannot implement an exported entity with a private
instantiation?!

And then if I move the generic procedure declaration and the
instantiation to the spec then it complains that the instantiation
must be done after the body is visible!

Help!!!

Re: Cannot implement with an instantiation?!

[Adam Beneschan]

On Oct 25, 10:34 am, amado.al...@gmail.com wrote:
> Ada is being very bad to me. She does not let me instantiate a generic
> procedure Generic_Connect nested in a generic package body
> Generic_Graphs. Is she in any reason? And how do I make things right?

Renaming-as-body.  See below.


> Thanks a lot.

You're welcome!

> generic
>    ...
> package Generic_Graphs is
>    ...
>    procedure Connect
>      (Digraph : in out Digraph_Type;
>       From, To : Node_Array);
>    ...
> end;
>
> package body Generic_Graphs is
>    ...
>
>    generic
>       ...
>    procedure Generic_Connect
>      (Digraph : in out Digraph_Type;
>       From, To : Node_Array);
>
>    procedure Generic_Connect
>      (Digraph : in out Digraph_Type;
>       From, To : Node_Array) is
>    begin
>       ...
>    end;
>
>    procedure Connect
>      (Digraph : in out Digraph_Type; -- <== GNAT complains here saying
> that a
>       From, To : Node_Array)         -- formal part is not allowed in
> an instantiation
>    is new Generic_Connect (True);

    procedure Generic_Connect_Inst is new Generic_Connect (True);
    procedure Connect (Digraph : in out Digraph_Type;
                       From, To : Node_Array)
        renames Generic_Connect_Inst;

                             -- Adam