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!.POSTED!not-for-mail From: Simon Wright 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: Sun, 21 Jan 2018 15:58:58 +0000 Organization: A noiseless patient Spider Message-ID: References: <193126c2-f171-43ed-8c7c-00570f1dd4d4@googlegroups.com> Mime-Version: 1.0 Content-Type: text/plain Injection-Info: reader02.eternal-september.org; posting-host="459587e5fa20f1a7eeae94267930dd32"; logging-data="6439"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX18dzgS0LYCzOkM4nirRR+ESsKCaiSMilIo=" User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/25.3 (darwin) Cancel-Lock: sha1:vCRyHwXxMx8FyVLO41svJaAXA1k= sha1:Kzu0ki8VowoURWUQeSw3+PHicoM= Xref: reader02.eternal-september.org comp.lang.ada:50036 Date: 2018-01-21T15:58:58+00:00 List-Id: Mehdi Saada <00120260a@gmail.com> writes: > 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. How can P1's son been granted access to > exceptions declared in P1. Is it possible without instanciating P1 > again ? Could you provide a simple example of your setup? I might be confused by the unusual terminology - what do you mean by 'son'? Is it a child package, or something else?