Re: Signature Package With Generic Proceedure

[Simon Wright <simon@pushface.org>]

Keean Schupke <keean.schupke@googlemail.com> writes:

> 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?

I guess you meant to say

   generic
       type Set_Type is limited private;
       ...
       with generic
           with procedure Process(Set : in out Set_Type);
       procedure Update(Set : in out Set_Type);
       ...
   package Set_Signature is end;

? in which case I don't see why you couldn't say

   generic
       type Set_Type is limited private;
       ...
       with procedure Update(Set : in out Set_Type);
       ...
   package Set_Signature is end;

Seems to me that all you need is for the actual Update to have that
profile, who cares how it got that way?

I've probably misunderstood this. Could maybe child units help?

   generic
      with procedure Process (Set : in out Set_Type);
   procedure Set_Signature.Update (Set : in out Set_Type);