From: Simon Wright <simon@pushface.org>
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: Sun, 21 Jan 2018 17:39:38 +0000
Date: 2018-01-21T17:39:38+00:00 [thread overview]
Message-ID: <lyinbv157p.fsf@pushface.org> (raw)
In-Reply-To: 1eb1f57d-36fa-4bf0-8a40-5b32d71e5c28@googlegroups.com
Mehdi Saada <00120260a@gmail.com> writes:
> Child package, right.
> Sorry, seems like I mixed things up a bit.
Easy enough to do when scrambling through this stuff!
> My setup is below, but I think it's already done, and I misunderstood
> from mispelling the exception ("zero_division" instead of
> "zero_denominator". Stupid me.
>
> with P1_G;
> generic
> with package P1 is new P1_G(<>);
> Max : Positive;
> package P2 is [...] end P2.
> package body P2_G is [...] end P2_G;
>
> generic
> package P2_G.Child is [...] end P2_G.Child; -- child package
> package body P2_G.Child
> [...] -- I wanted exceptions declared in P1_G (or P1, I dont know the
> details here) to be visible here, but it OBVIOUSLY already the case.
It would be P1.Exception_Name
> end P2_G.Child.
next prev parent reply other threads:[~2018-01-21 17:39 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 [this message]
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
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox