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.2 required=5.0 tests=BAYES_00,FREEMAIL_FROM, FROM_STARTS_WITH_NUMS autolearn=no autolearn_force=no version=3.4.4 X-Received: by 10.36.28.11 with SMTP id c11mr6437996itc.41.1516635369281; Mon, 22 Jan 2018 07:36:09 -0800 (PST) X-Received: by 10.157.31.57 with SMTP id x54mr349271otd.1.1516635369071; Mon, 22 Jan 2018 07:36:09 -0800 (PST) Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!feeder.eternal-september.org!feed.usenet.farm!feeder4.usenet.farm!border1.nntp.ams1.giganews.com!nntp.giganews.com!peer03.ams1!peer.ams1.xlned.com!news.xlned.com!peer03.am4!peer.am4.highwinds-media.com!peer01.iad!feed-me.highwinds-media.com!news.highwinds-media.com!g80no1954673itg.0!news-out.google.com!b73ni6899ita.0!nntp.google.com!w142no1949541ita.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Mon, 22 Jan 2018 07:36:08 -0800 (PST) In-Reply-To: Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=85.243.127.244; posting-account=rhqvKAoAAABpikMmPHJSZh4400BboHwT NNTP-Posting-Host: 85.243.127.244 References: <193126c2-f171-43ed-8c7c-00570f1dd4d4@googlegroups.com> <1eb1f57d-36fa-4bf0-8a40-5b32d71e5c28@googlegroups.com> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: 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 From: Mehdi Saada <00120260a@gmail.com> Injection-Date: Mon, 22 Jan 2018 15:36:09 +0000 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Received-Bytes: 2214 X-Received-Body-CRC: 209117375 Xref: reader02.eternal-september.org comp.lang.ada:50055 Date: 2018-01-22T07:36:08-08:00 List-Id: > Imagine this: > generic > package P1 is new GP1 (<>); > package P2 is new GP1 (<>); > package GP2 is... end GP2; > package Inst1 is new GP1; > package Inst2 is new GP2 (Inst1, Inst1); > then you would end up with two different handlers for the same exception = (since formals P1 and P2 are actually the same package Inst1). And that's a= no-no! Ah ! Now I get it. Earlier explanations seemed like chinese homonyms, but a= fine example makes it crystal clear. The terminology is this area, is stil= l too abstract and confuses me, 'cause I barely touched it yet. I didn't co= nsidered that eventuality of two different views (is that the term ?) of th= e same instances screwing with each others... eventhough it's not so much c= onvoluted.