Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  newsreader  groups  login

Message-ID:  

Our way is peace. -- Septimus, the Son Worshiper, "Bread and Circuses", stardate 4040.7.


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

SubjectAuthor
* but somewhat [different Ada95] _Private_ non-generic children ofVincent Marciante
`* [Ada95] _Private_ non-generic children of generics not allowed.Vincent Marciante
 `- Re: [Ada95] _Private_ non-generic children of generics not allowed.Vincent Marciante

1
but somewhat [different Ada95] _Private_ non-generic children of genevariant allowed.

<649cc002-f0af-4824-ba68-e5c0cb2833b3n@googlegroups.com>

 copy mid

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

 copy link   Newsgroups: comp.lang.ada
X-Received: by 2002:ac8:7405:: with SMTP id p5mr17569761qtq.231.1619450578582;
Mon, 26 Apr 2021 08:22:58 -0700 (PDT)
X-Received: by 2002:a25:4883:: with SMTP id v125mr26387564yba.253.1619450578423;
Mon, 26 Apr 2021 08:22:58 -0700 (PDT)
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!news.snarked.org!border2.nntp.dca1.giganews.com!nntp.giganews.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Mon, 26 Apr 2021 08:22:58 -0700 (PDT)
Injection-Info: google-groups.googlegroups.com; posting-host=35.245.252.196; posting-account=XfA3zgkAAABoz6fRf3Tehtnqqr7Ycml-
NNTP-Posting-Host: 35.245.252.196
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <649cc002-f0af-4824-ba68-e5c0cb2833b3n@googlegroups.com>
Subject: but somewhat [different Ada95] _Private_ non-generic children of
genevariant allowed.
From: vincent....@l3harris.com (Vincent Marciante)
Injection-Date: Mon, 26 Apr 2021 15:22:58 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Lines: 52
 by: Vincent Marciante - Mon, 26 Apr 2021 15:22 UTC

I pretty much follow the rational requiring children of generics that are
meant to be used by users of a generic also be generic. But what about
the case that the child is only introduced for "separation of concerns" and "information hiding" in the body of a generic package: Why can't _private_ children of a generic _always_ for use only in the implementation of the parent unit be allowed? That seems to me to be only a little more flexible
version of the allowed arrangement where the desired functionality is expressed in a body-local package that has _its_ implementation as separate stub..

So, I mean I have a situation where I like to be able to do the following but can't.

generic
...
package Generic_Package is
procedure Parent_Procedure;
...
end;

private
package Generi

_Package.Child is
procedure GPC_Procedure;
...
end;

package body Generic_Package is
....
procedure Parent_Procedure is separate;
....
end;

with Generic_Package.C
hild;
separate (Generic_Package)
procedure Parent_Procedure is
begin
....
Generic_Package.Child.GPC_Procedure;
....
end;

[Ada95] _Private_ non-generic children of generics not allowed.

<e5159be2-7c50-498a-8ece-62e94042c0c9n@googlegroups.com>

 copy mid

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

 copy link   Newsgroups: comp.lang.ada
X-Received: by 2002:a37:7745:: with SMTP id s66mr17537905qkc.18.1619451327016;
Mon, 26 Apr 2021 08:35:27 -0700 (PDT)
X-Received: by 2002:a25:cf90:: with SMTP id f138mr8450774ybg.92.1619451326902;
Mon, 26 Apr 2021 08:35:26 -0700 (PDT)
Path: i2pn2.org!i2pn.org!paganini.bofh.team!usenet.pasdenom.info!usenet-fr.net!proxad.net!feeder1-2.proxad.net!209.85.160.216.MISMATCH!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Mon, 26 Apr 2021 08:35:26 -0700 (PDT)
In-Reply-To: <649cc002-f0af-4824-ba68-e5c0cb2833b3n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=35.245.252.196; posting-account=XfA3zgkAAABoz6fRf3Tehtnqqr7Ycml-
NNTP-Posting-Host: 35.245.252.196
References: <649cc002-f0af-4824-ba68-e5c0cb2833b3n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <e5159be2-7c50-498a-8ece-62e94042c0c9n@googlegroups.com>
Subject: [Ada95] _Private_ non-generic children of generics not allowed.
From: vincent....@l3harris.com (Vincent Marciante)
Injection-Date: Mon, 26 Apr 2021 15:35:27 +0000
Content-Type: text/plain; charset="UTF-8"
 by: Vincent Marciante - Mon, 26 Apr 2021 15:35 UTC

Title should have been as in this message.
(I can't stop google groups from garbling text ;-()

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

<f2d09c10-fed7-4ae5-bbd6-32584c97e79en@googlegroups.com>

 copy mid

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

 copy link   Newsgroups: comp.lang.ada
X-Received: by 2002:a37:bcc:: with SMTP id 195mr6201898qkl.329.1619451470628;
Mon, 26 Apr 2021 08:37:50 -0700 (PDT)
X-Received: by 2002:a25:4883:: with SMTP id v125mr26485666yba.253.1619451470439;
Mon, 26 Apr 2021 08:37:50 -0700 (PDT)
Path: i2pn2.org!i2pn.org!aioe.org!news.uzoreto.com!news-out.netnews.com!news.alt.net!fdc3.netnews.com!peer02.ams1!peer.ams1.xlned.com!news.xlned.com!peer03.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: Mon, 26 Apr 2021 08:37:50 -0700 (PDT)
In-Reply-To: <e5159be2-7c50-498a-8ece-62e94042c0c9n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=35.245.252.196; posting-account=XfA3zgkAAABoz6fRf3Tehtnqqr7Ycml-
NNTP-Posting-Host: 35.245.252.196
References: <649cc002-f0af-4824-ba68-e5c0cb2833b3n@googlegroups.com> <e5159be2-7c50-498a-8ece-62e94042c0c9n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <f2d09c10-fed7-4ae5-bbd6-32584c97e79en@googlegroups.com>
Subject: Re: [Ada95] _Private_ non-generic children of generics not allowed.
From: vincent....@l3harris.com (Vincent Marciante)
Injection-Date: Mon, 26 Apr 2021 15:37:50 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Bytes: 1509
 by: Vincent Marciante - Mon, 26 Apr 2021 15:37 UTC

On Monday, April 26, 2021 at 11:35:28 AM UTC-4, Vincent Marciante wrote:
> Title should have been as in this message.
> (I can't stop google groups from garbling text ;-()

ARGGG!!!!!!

"Ada95] _Private_ non-generic children of generics not allowed."

1
server_pubkey.txt

rocksolid light 0.9.7
clearnet tor