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-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,616091a85ff150f1
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2001-12-05 13:26:34 PST
Path: 
 archiver1.google.com!news1.google.com!sn-xit-02!sn-post-01!supernews.com!corp.supernews.com!not-for-mail
From: "Matthew Heaney" <mheaney@on2.com>
Newsgroups: comp.lang.ada
Subject: Re: Ada 200X Assertions
Date: Wed, 5 Dec 2001 16:30:26 -0500
Organization: Posted via Supernews, http://www.supernews.com
Message-ID: <u0t48a35u1uia1@corp.supernews.com>
References: <3C0C48BE.3B20F04E@adaworks.com>
 <slrna0p3q9.n1.lutz@taranis.iks-jena.de> <u0q6368mkken84@corp.supernews.com>
 <slrna0seip.kq.lutz@taranis.iks-jena.de>
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 5.50.4807.1700
X-MimeOLE: Produced By Microsoft MimeOLE V5.50.4807.1700
X-Complaints-To: newsabuse@supernews.com
Xref: archiver1.google.com comp.lang.ada:17472
Date: 2001-12-05T16:30:26-05:00
List-Id: <comp.lang.ada>


"Lutz Donnerhacke" <lutz@iks-jena.de> wrote in message
news:slrna0seip.kq.lutz@taranis.iks-jena.de...
> I've a list of degenerated compound instantiations for which only a single
> component is relevant. More than this, this same fixed component is shared
> by multiple compound instantiations.

Can you use child generics?

generic
   <whatever>
package GP is
   <foo>
end GP;

generic
   <whatever>
package GP.C_G is
   <bar>
end GP.C_G;

Instantiate the root package:

package P is new GP (<whatever>);

which can now be shared among the child instantiations:

with GP.C_G;
package P.C1 is new P.C_G (<whatever>);

with GP.C_G;
package P.C2 is new P.C_G (<whatever>);

Is this adequate?  What about package parameters?

generic
   with package P is new GP (<>);
package GQ is
   <blah>
end GG;

package P is new GP (<whatever>);

package Q1 is new GQ (P);
package Q2 is new GQ (P);

Will this do the job?

I still don't understand your problem.