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=-0.3 required=5.0 tests=BAYES_00,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: 103376,2a687662f09731bb
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news1.google.com!news4.google.com!news.glorb.com!newsgate.cistron.nl!feeder.enertel.nl!nntpfeed-01.ops.asmr-01.energis-idc.net!216.196.110.149.MISMATCH!border2.nntp.ams.giganews.com!nntp.giganews.com!news.musoftware.de!news.karotte.org!news2.arglkargh.de!noris.net!newsfeed.arcor.de!news.arcor.de!not-for-mail
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: Don't use the "use" clause
Newsgroups: comp.lang.ada
User-Agent: 40tude_Dialog/2.0.14.1
MIME-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: 7bit
Reply-To: mailbox@dmitry-kazakov.de
Organization: cbb software GmbH
References: <dld0t5$df3$1@sunnews.cern.ch>
 <ZqCdnSOLI6WepefeRVn-uw@comcast.com>
 <slrndnlfs8.1pa.bogus_addy@tango.mindfuq.org> <m2acg5i1ko.fsf@grendel.local>
 <dlelkn$g6l$1@nwrdmz03.dmz.ncs.ea.ibs-infra.bt.com>
 <slrndnoa1k.22e.bogus_addy@tango.mindfuq.org>
 <1132227919.9036.51.camel@sonnenregen> <u3blv30wu.fsf@acm.org>
 <1132233886.11218.11.camel@sonnenregen> <ulkzmsw5v.fsf@acm.org>
 <slrndnv9qv.1r7.bogus_addy@tango.mindfuq.org>
 <Ij4Bf.1960$2O6.514@newssvr12.news.prodigy.com>
 <SUaBf.2447$Dk.828@newsread3.news.pas.earthlink.net> <ud5iimkc8.fsf@acm.org>
 <1w17gk3manse1$.1kcsd6cj5scen$.dlg@40tude.net>
 <43d5f5cf$1_1@glkas0286.greenlnk.net>
Date: Tue, 24 Jan 2006 11:28:51 +0100
Message-ID: <1wq3tkzfwt0bw.1ad4zqlgln451$.dlg@40tude.net>
NNTP-Posting-Date: 24 Jan 2006 11:28:51 MET
NNTP-Posting-Host: d2611163.newsread4.arcor-online.net
X-Trace: 
 DXC=d<DKHgSNlCkGnN95NbAh:a:ejgIfPPlddjW\KbG]kaMhA@_25la3nbb5[<kQiL3G4j[6LHn;2LCVn7enW;^6ZC`dIXm65S@:3>o
X-Complaints-To: usenet-abuse@arcor.de
Xref: g2news1.google.com comp.lang.ada:2603
Date: 2006-01-24T11:28:51+01:00
List-Id: <comp.lang.ada>

On Tue, 24 Jan 2006 09:48:12 -0000, Martin Dowie wrote:

> Dmitry A. Kazakov wrote:
>> On Mon, 23 Jan 2006 21:27:19 -0500, Stephen Leake wrote:
>>
>>> It says "no use clauses in package specs.
>>
>> Which implies that child and nested packages should be forbidden...
>>
>> As well as all others, after all Standard is "use"-d. Why? It should
>> not...
>>
>> Hmm, where Standard is declared? Isn't *that* package "use"-d? (:-))
> 
> No it isn't - all Ada programs are conceptually declared _within_ package
> Standard : so no need to with or use it (see LRM A.1 54).

But Standard cannot be declared within itself, even conceptually! (:-))
Anyway nested declarations are equivalent to "use"-ing.

I must admit, that I never managed to understand the point of use-haters.
(Probably because they don't have any (:-)) The packages comprise a tree.
With "use"-ing it is levered to a DAG. I would *really* like to be able to
do it without "use" as well, i.e. to have children of multiple parents. But
that's aside. Is the point that all nodes along any path need to be
mentioned? If so, then "use" or not is quite irrelevant. If not then what?
To keep it a tree, then "with" must be outlawed as well. I don't get it.

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de