Re: Signature Package With Generic Proceedure

[Adam Beneschan <adam@irvine.com>]

On Saturday, July 21, 2012 10:22:25 AM UTC-7, Keean Schupke wrote:
> If I have a package which defines a procedure like:
> 
> 
> generic
>     with procedure Process(Set : in out Set_Type);
> procedure Update(Set : in out Set_Type);
> 
> 
> How do a declare a Signature package that includes this?
> 
> 
> generic
>     with generic
>         with procedure Process(Set : in out Set_Type);
>     procedure Update(Set : in out Set_Type);
> package Set_Signature is end;
> 
> 
> Is not allowed. Is there some way to do this with nested packages?

There's no such thing as "with generic" in Ada.  That is, there is no way to set things up so that you can instantiate a generic like this:

   package An_Instantiation is new A_Generic (G1);

where G1 is the name of a *generic* subprogram or package.  Nor can I think of a reason why you'd want to.  Perhaps if you gave us an example of what you're trying to accomplish?

                              -- Adam