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=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!feeder.eternal-september.org!nntp-feed.chiark.greenend.org.uk!ewrotcd!newsfeed.xs3.de!io.xs3.de!news.jacob-sparre.dk!franka.jacob-sparre.dk!pnx.dk!.POSTED.rrsoftware.com!not-for-mail
From: "Randy Brukardt" <randy@rrsoftware.com>
Newsgroups: comp.lang.ada
Subject: Re: making a son benefit access ton an instanciation of a generic
 package required as a formal parameter to his father and instanciated by him
Date: Mon, 22 Jan 2018 19:13:16 -0600
Organization: JSA Research & Innovation
Message-ID: <p4627c$3s8$1@franka.jacob-sparre.dk>
References: <193126c2-f171-43ed-8c7c-00570f1dd4d4@googlegroups.com>
Injection-Date: Tue, 23 Jan 2018 01:13:17 -0000 (UTC)
Injection-Info: franka.jacob-sparre.dk;
 posting-host="rrsoftware.com:24.196.82.226";
	logging-data="3976"; mail-complaints-to="news@jacob-sparre.dk"
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2900.5931
X-RFC2646: Format=Flowed; Original
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.7246
Xref: reader02.eternal-september.org comp.lang.ada:50061
Date: 2018-01-22T19:13:16-06:00
List-Id: <comp.lang.ada>

"Mehdi Saada" wrote :

>A generic package P1 is formal parameter of an other generic package P2. P2 
>has a
> (public) son. P1 is instanciated in the public part of P2's 
> specifications.

This doesn't make much sense.

A formal package parameter is passed an instantiation as the actual 
parameter. As such, it can't be "instanciated" anywhere, including in P2's 
specification.

The parameter, like the other formal parameters, can be used in children of 
P2.

So I'm not sure what you're asking.

                             Randy.