From: "Randy Brukardt" <randy@rrsoftware.com>
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
Date: 2018-01-22T19:13:16-06:00 [thread overview]
Message-ID: <p4627c$3s8$1@franka.jacob-sparre.dk> (raw)
In-Reply-To: 193126c2-f171-43ed-8c7c-00570f1dd4d4@googlegroups.com
"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.
prev parent reply other threads:[~2018-01-23 1:13 UTC|newest]
Thread overview: 22+ messages / expand[flat|nested] mbox.gz Atom feed top
2018-01-21 15:43 making a son benefit access ton an instanciation of a generic package required as a formal parameter to his father and instanciated by him Mehdi Saada
2018-01-21 15:58 ` Simon Wright
2018-01-21 17:30 ` Mehdi Saada
2018-01-21 17:39 ` Simon Wright
2018-01-21 17:50 ` Dmitry A. Kazakov
2018-01-21 20:15 ` Mehdi Saada
2018-01-21 20:41 ` Dmitry A. Kazakov
2018-01-21 21:29 ` Mehdi Saada
2018-01-21 21:31 ` Mehdi Saada
2018-01-21 22:20 ` Jeffrey R. Carter
2018-01-21 23:07 ` Mehdi Saada
2018-01-21 23:10 ` Mehdi Saada
2018-01-22 8:28 ` Dmitry A. Kazakov
2018-01-22 9:25 ` Simon Wright
2018-01-23 1:23 ` Randy Brukardt
2018-01-21 22:04 ` J-P. Rosen
2018-01-22 15:36 ` Mehdi Saada
2018-01-22 15:54 ` Mehdi Saada
2018-01-22 15:52 ` Simon Wright
2018-01-23 1:33 ` Randy Brukardt
2018-01-23 14:05 ` Mehdi Saada
2018-01-23 1:13 ` Randy Brukardt [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox