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,FREEMAIL_FROM
	autolearn=ham autolearn_force=no version=3.4.4
X-Google-Thread: a07f3367d7,da85d9aaf769b16a
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news2.google.com!postnews.google.com!m16g2000yqc.googlegroups.com!not-for-mail
From: =?ISO-8859-1?Q?Hibou57_=28Yannick_Duch=EAne=29?=
 <yannick_duchene@yahoo.fr>
Newsgroups: comp.lang.ada
Subject: Re: Generic package parameters not externally visible : what's the
	rational ?
Date: Tue, 3 Nov 2009 00:25:24 -0800 (PST)
Organization: http://groups.google.com
Message-ID: 
 <19ee7f4e-513a-4caf-9822-4610ff2155b2@m16g2000yqc.googlegroups.com>
References: <d31a3f23-975d-4ae7-954a-82055b50f172@31g2000vbf.googlegroups.com>
	<wcciqe26w5q.fsf@shell01.TheWorld.com> <hc7nfq$6o7$1@munin.nbi.dk>
	<10eygvuzeit9g.xwy2wanxoxgf$.dlg@40tude.net> <hca5gv$kvg$1@munin.nbi.dk>
	<1kf8mo4r9lqxg.1tdhqe6femt9m.dlg@40tude.net> <uljit6uwe.fsf@stephe-leake.org>
	<1r8etjwa9k46n.3pyj04jn686o$.dlg@40tude.net>
 <d72dedd2-ca21-4c1c-acde-16b7e86a482f@b2g2000yqi.googlegroups.com>
	<1trjf9wxhbsqb$.14uxfibpc7k8x$.dlg@40tude.net>
NNTP-Posting-Host: 86.75.149.226
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
X-Trace: posting.google.com 1257236724 18258 127.0.0.1 (3 Nov 2009 08:25:24
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Tue, 3 Nov 2009 08:25:24 +0000 (UTC)
Complaints-To: groups-abuse@google.com
Injection-Info: m16g2000yqc.googlegroups.com; posting-host=86.75.149.226;
	posting-account=vrfdLAoAAAAauX_3XwyXEwXCWN3A1l8D
User-Agent: G2/1.0
X-HTTP-UserAgent: Mozilla/4.0 (compatible; MSIE 6.0; Windows NT 5.1;
	fr),gzip(gfe),gzip(gfe)
Xref: g2news2.google.com comp.lang.ada:8951
Date: 2009-11-03T00:25:24-08:00
List-Id: <comp.lang.ada>

On 31 oct, 10:14, "Dmitry A. Kazakov" <mail...@dmitry-kazakov.de>
wrote:
> Note that a generic child package can use formals of its parent. That is
> the case why your proposal about visibility is so important in my eyes. It
> is an *obvious* language bug.

A step to the side, still related to your comment ...

Although related by derivation, my packages were all along each others
(I'm experimenting, so I try many things before I choose and know
why). I've started to rework all package, to use child package when
possible.

It seems it saves a lot to do so : shared generic parameters, so less
generic parameters needed for instantiation.

I would like to say I feel (from higher to lower importance) child are
nice for :
1) Shared privates subset (formally required)
2) Generics (not formally required, but may save a lot of stuff)
3) Mapping domain organization (nice, but not really required,
although useful)
?) I'm still wondering about child packages and derivations (another
subject opened about it).

Generic package hierarchy is nicer than I previously supposed