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 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,487310d7e1471eac
X-Google-Attributes: gid103376,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news2.google.com!postnews.google.com!o80g2000hse.googlegroups.com!not-for-mail
From: Adam Beneschan <adam@irvine.com>
Newsgroups: comp.lang.ada
Subject: Re: parent package referring to child
Date: Wed, 10 Oct 2007 07:46:30 -0700
Organization: http://groups.google.com
Message-ID: <1192027590.723556.107430@o80g2000hse.googlegroups.com>
References: <1191997397.865251.322480@d55g2000hsg.googlegroups.com>
   <1192007262.7362.69.camel@kartoffel>
   <1192008292.808925.227730@r29g2000hsg.googlegroups.com>
NNTP-Posting-Host: 66.126.103.122
Mime-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
X-Trace: posting.google.com 1192027590 21907 127.0.0.1 (10 Oct 2007 14:46:30
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Wed, 10 Oct 2007 14:46:30 +0000 (UTC)
In-Reply-To: <1192008292.808925.227730@r29g2000hsg.googlegroups.com>
User-Agent: G2/1.0
X-HTTP-UserAgent: Mozilla/5.0 (X11; U; Linux x86_64; en-US;
 rv:1.7.12) Gecko/20050922 Fedora/1.7.12-1.3.1,gzip(gfe),gzip(gfe)
Complaints-To: groups-abuse@google.com
Injection-Info: o80g2000hse.googlegroups.com; posting-host=66.126.103.122;
   posting-account=ps2QrAMAAAA6_jCuRt2JEIpn5Otqf_w0
Xref: g2news2.google.com comp.lang.ada:2410
Date: 2007-10-10T07:46:30-07:00
List-Id: <comp.lang.ada>

On Oct 10, 2:24 am, eliben <eli...@gmail.com> wrote:


> Why does it make sense that two siblings can see each other in their
> specs when they "with" each other

You can't have two siblings "with" each other in their specs.  One can
"with" the other, but not both.  You cannot declare a package
Parent.Child1 that with's Parent.Child2, and at the same time
Parent.Child2 with'ing Parent.Child1.  One of the siblings has to come
first.  ("Limited with" can help get around some of the problems.)

> but a parent can't see a child ?

Think about it.  Something has to come first.  If B "with's" A, then A
has to exist before B can be compiled (i.e. A's specification).  Can a
child come into existence before its parent?

                         -- Adam