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,e55245590c829bef
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,UTF8
Path: 
 g2news2.google.com!news3.google.com!proxad.net!feeder1-2.proxad.net!news.in2p3.fr!in2p3.fr!news.ecp.fr!aioe.org!not-for-mail
From: =?utf-8?Q?Yannick_Duch=C3=AAne_=28Hibou57?=
 =?utf-8?Q?=29?=
 <yannick_duchene@yahoo.fr>
Newsgroups: comp.lang.ada
Subject: Re: Beginners question: Compound types, how-to?
Date: Mon, 01 Nov 2010 18:24:14 +0100
Organization: Ada @ Home
Message-ID: <op.vlh5aoykule2fv@garhos>
References: <86wroy58ff.fsf@gareth.avalon.lan>
 <iale5p$2f6$1@tornado.tornevall.net> <86pqup5xfy.fsf@gareth.avalon.lan>
NNTP-Posting-Host: ROGs2ZsQN9QaLpliT0TrGQ.user.speranza.aioe.org
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed; delsp=yes
Content-Transfer-Encoding: Quoted-Printable
X-Complaints-To: abuse@aioe.org
X-Notice: Filtered by postfilter v. 0.8.2
User-Agent: Opera Mail/10.63 (Win32)
Xref: g2news2.google.com comp.lang.ada:16080
Date: 2010-11-01T18:24:14+01:00
List-Id: <comp.lang.ada>

Le Mon, 01 Nov 2010 08:12:49 +0100, Mart van de Wege <mvdwege@mail.com> =
a  =

=C3=A9crit:
>> Children always have visibility into the specs of their ancestors, so=

>> you never need to "with" said ancestors.
>>
> Cool. I missed this tidbit in the texts I read. I suppose this *is*
> spelled out in the Reference Manual?

Yes, and it is spelled that way ;)

    ARM 2005 =E2=80=9CDeclarative Region=E2=80=9D 8.1(16)

    NOTES
    The children of a parent library unit are inside the
    parent's declarative region, even though they do not
    occur inside the parent's declaration or body. This
    implies that one can use (for example) "P.Q" to refer
    to a child of P whose defining name is Q, and that
    after "use P;" Q can refer (directly) to that child.


I was also surprised the first time I meet this, and though I would have=
  =

prefer an explicit With to be mandatory (I do not enjoy implicit a lot).=


By the way, this make me think about a question : when a child package  =

does not formally requires a view on its parent, is it to be considered =
a  =

design error ? This may occurs.


-- =

Si les chats miaulent et font autant de vocalises bizarres, c=E2=80=99es=
t pas pour  =

les chiens.