From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: a07f3367d7,bed01d177eaef486
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,ASCII-7-bit
Received: by 10.224.100.137 with SMTP id y9mr826350qan.2.1343313958862;
        Thu, 26 Jul 2012 07:45:58 -0700 (PDT)
Received: by 10.66.85.162 with SMTP id i2mr1782084paz.30.1343313579963;
        Thu, 26 Jul 2012 07:39:39 -0700 (PDT)
Path: 
 a15ni105485768qag.0!nntp.google.com!q21no15448880qas.0!news-out.google.com!b9ni60415685pbl.0!nntp.google.com!npeer01.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!border3.nntp.dca.giganews.com!border1.nntp.dca.giganews.com!border4.nntp.dca.giganews.com!border2.nntp.dca.giganews.com!novia!volia.net!news2.volia.net!feed-A.news.volia.net!border1.nntp.ams2.giganews.com!border3.nntp.ams.giganews.com!border1.nntp.ams.giganews.com!nntp.giganews.com!newsfeed.straub-nv.de!news.swapon.de!news.glorb.com!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
From: Adam Beneschan <adam@irvine.com>
Newsgroups: comp.lang.ada
Subject: Re: Signature Package With Generic Proceedure
Date: Sat, 21 Jul 2012 15:22:36 -0700 (PDT)
Organization: http://groups.google.com
Message-ID: <a1816272-ef92-4402-bc3a-991bd8522697@googlegroups.com>
References: <045f7b44-2a4a-4292-80fd-0b6bc8ee3465@googlegroups.com>
NNTP-Posting-Host: 68.4.246.214
Mime-Version: 1.0
X-Trace: posting.google.com 1342909757 6449 127.0.0.1 (21 Jul 2012 22:29:17
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Sat, 21 Jul 2012 22:29:17 +0000 (UTC)
In-Reply-To: <045f7b44-2a4a-4292-80fd-0b6bc8ee3465@googlegroups.com>
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=68.4.246.214;
 posting-account=duW0ogkAAABjRdnxgLGXDfna0Gc6XqmQ
User-Agent: G2/1.0
X-Original-Bytes: 2103
X-Received-Bytes: 2332
Content-Type: text/plain; charset=ISO-8859-1
Date: 2012-07-21T15:22:36-07:00
List-Id: <comp.lang.ada>

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