From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on ip-172-31-65-14.ec2.internal X-Spam-Level: X-Spam-Status: No, score=-0.9 required=3.0 tests=AC_FROM_MANY_DOTS,BAYES_00 autolearn=no autolearn_force=no version=3.4.6 Path: eternal-september.org!reader02.eternal-september.org!news.gegeweb.eu!gegeweb.org!usenet-fr.net!proxad.net!feeder1-2.proxad.net!cleanfeed2-b.proxad.net!nnrp3-2.free.fr!not-for-mail From: Thomas Newsgroups: comp.lang.ada Mail-Copies-To: nobody Subject: Re: [Ada95] Private non-generic children of generics not allowed References: <78fd99c3-538d-4981-af11-c1885df36575n@googlegroups.com> <7e2ece3d-893c-43fb-bf81-6002dbd0bc3dn@googlegroups.com> <56dc220e-1341-4a9f-98cc-132c8afdc2afn@googlegroups.com> <5990d990-d8fc-489c-bb5d-7f047e14e06an@googlegroups.com> <076b95b5-ff44-4c47-9b0b-50d4546c589bn@googlegroups.com> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit User-Agent: MT-NewsWatcher/3.5.3b3 (Intel Mac OS X) Date: Thu, 28 Apr 2022 02:07:53 +0200 Message-ID: <6269dad9$0$22072$426a74cc@news.free.fr> Organization: Guest of ProXad - France NNTP-Posting-Date: 28 Apr 2022 02:07:53 CEST NNTP-Posting-Host: 91.175.52.121 X-Trace: 1651104473 news-1.free.fr 22072 91.175.52.121:8850 X-Complaints-To: abuse@proxad.net Xref: reader02.eternal-september.org comp.lang.ada:63776 List-Id: In article <076b95b5-ff44-4c47-9b0b-50d4546c589bn@googlegroups.com>, AdaMagica wrote: > Vincent Marciante schrieb am Donnerstag, 29. April 2021 um 21:29:12 UTC+2: > > but I'm not sure that > > "implicit instantiation" would be the best way to describe it. I'll think > > about it. > > It must be. As Gen.Priv, it has direct visibility to its parent Gen, as a > private child also in its parent's private part. > When Gen is instantiated, say as Inst, Gen.Priv cannot have visibility into > Inst. isn't it possible to consider that when a child is called from within the generic parent, it must be called from an instantiation of it, and then it's not needed to re-do the instantiation within the generic parent? it could be a rule that works even when the chils is public, but of course, the instantiation could be avoided only when it is called from within the generic parent, not when it is called from outside. -- RAPID maintainer http://savannah.nongnu.org/projects/rapid/