Message-ID:

"The most important thing in a man is not what he knows, but what he is." -- Narciso Yepes

devel / comp.lang.ada / Re: [Ada95] Private non-generic children of generics not allowed

Re: [Ada95] Private non-generic children of generics not allowed

<6269dad9$0$22072$426a74cc@news.free.fr>

https://www.rocksolidbbs.com/devel/article-flat.php?id=8220&group=comp.lang.ada#8220

Path: i2pn2.org!i2pn.org!weretis.net!feeder8.news.weretis.net!proxad.net!feeder1-2.proxad.net!cleanfeed2-b.proxad.net!nnrp3-2.free.fr!not-for-mail
From: fantome.forums.tDeContes@free.fr.invalid (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> <e05ca45e-a201-43e7-8397-0b3f7089b2d0n@googlegroups.com> <56dc220e-1341-4a9f-98cc-132c8afdc2afn@googlegroups.com> <5990d990-d8fc-489c-bb5d-7f047e14e06an@googlegroups.com> <a1ac3062-0bdb-417a-98e5-8f82c74a5126n@googlegroups.com> <c0b85e97-e322-4706-a6ad-c5d5d2e3cc70n@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
Lines: 25
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

by: Thomas - Thu, 28 Apr 2022 00:07 UTC

In article <076b95b5-ff44-4c47-9b0b-50d4546c589bn@googlegroups.com>,
AdaMagica <christ-usch.grein@t-online.de> 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/

Re: [Ada95] Private non-generic children of generics not allowed

<ec5f5c37-9710-4a5a-91b1-6a91b7070a30n@googlegroups.com>

copy mid

https://www.rocksolidbbs.com/devel/article-flat.php?id=8298&group=comp.lang.ada#8298

copy link Newsgroups: comp.lang.ada

X-Received: by 2002:a05:6214:20ec:b0:461:dc16:163d with SMTP id 12-20020a05621420ec00b00461dc16163dmr5506138qvk.40.1652990353217;
Thu, 19 May 2022 12:59:13 -0700 (PDT)
X-Received: by 2002:a25:450b:0:b0:64d:9f63:bc52 with SMTP id
s11-20020a25450b000000b0064d9f63bc52mr5828095yba.188.1652990353033; Thu, 19
May 2022 12:59:13 -0700 (PDT)
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!feed1.usenet.blueworldhosting.com!peer02.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Thu, 19 May 2022 12:59:12 -0700 (PDT)
In-Reply-To: <6269dad9$0$22072$426a74cc@news.free.fr>
Injection-Info: google-groups.googlegroups.com; posting-host=2401:4900:47f1:a1b2:11e8:54e8:f583:2aac;
posting-account=zwvGeAoAAADJ3PQdLuqjS7Otxbhsxpya
NNTP-Posting-Host: 2401:4900:47f1:a1b2:11e8:54e8:f583:2aac
References: <78fd99c3-538d-4981-af11-c1885df36575n@googlegroups.com>
<7e2ece3d-893c-43fb-bf81-6002dbd0bc3dn@googlegroups.com> <e05ca45e-a201-43e7-8397-0b3f7089b2d0n@googlegroups.com>
<56dc220e-1341-4a9f-98cc-132c8afdc2afn@googlegroups.com> <5990d990-d8fc-489c-bb5d-7f047e14e06an@googlegroups.com>
<a1ac3062-0bdb-417a-98e5-8f82c74a5126n@googlegroups.com> <c0b85e97-e322-4706-a6ad-c5d5d2e3cc70n@googlegroups.com>
<076b95b5-ff44-4c47-9b0b-50d4546c589bn@googlegroups.com> <6269dad9$0$22072$426a74cc@news.free.fr>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <ec5f5c37-9710-4a5a-91b1-6a91b7070a30n@googlegroups.com>
Subject: Re: [Ada95] Private non-generic children of generics not allowed
From: anitaindra084@gmail.com (Indra Anita)
Injection-Date: Thu, 19 May 2022 19:59:13 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Bytes: 2219

by: Indra Anita - Thu, 19 May 2022 19:59 UTC

Subject	Author
Re: [Ada95] Private non-generic children of generics not allowed	Thomas
Re: [Ada95] Private non-generic children of generics not allowed	Indra Anita