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-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,60e2922351e0e780
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2003-11-01 05:39:37 PST
Message-ID: <3FA3B796.EA1CAB99@fakeaddress.nil>
Date: Sat, 01 Nov 2003 14:39:34 +0100
From: Gautier Write-only <gautier@fakeaddress.nil>
X-Mailer: Mozilla 4.8 [en] (Windows NT 5.0; U)
X-Accept-Language: en
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: Clause "with and use"
References: <3FA2CDCB.500F4AF0@fakeaddress.nil>
 <vq5om4lp34c825@corp.supernews.com>
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
NNTP-Posting-Host: 80.218.90.97
X-Trace: news.swissonline.ch 1067693977 80.218.90.97 (1 Nov 2003 14:39:37
 +0200)
X-Complaints-To: abuse@swissonline.ch
Path: 
 archiver1.google.com!news2.google.com!news.maxwell.syr.edu!newsfeed.icl.net!newsfeed.fjserv.net!newsfeed.freenet.de!newsfeed.tiscali.ch!solnet.ch!solnet.ch!130.59.10.21.MISMATCH!irazu.switch.ch!news-zh.switch.ch!switch.ch!news.swissonline.ch!not-for-mail
Xref: archiver1.google.com comp.lang.ada:1899
Date: 2003-11-01T14:39:34+01:00
List-Id: <comp.lang.ada>

> >  My proposal: a "with and use" clause. "with and use A[,B]" would
> >  mean "with A[,B]; use A[,B]".

Randy Brukardt:

> And this is likely to be confusing:
>    with Parent.Child; means with Parent; with Parent.Child;
> but
>    use Parent.Child; just means use Parent.Child;

You mention an existing Ada95 feature, maybe confusing, concerning
the existing "with" and "use" clauses of Ada95!

As discussed in AC, "with and use" adds no new rule but inherits
the existing ones, according to the principle:
"with and use A[,B]" is exactly as if "with A[,B]; use A[,B]" was written.
In your example, "with and use Parent.Child;" will naturally mean
"with Parent; with Parent.Child; use Parent.Child;".

It is a chimically neutral proposal.
The issues it may reveal are already in Ada95.

________________________________________________________
Gautier  --  http://www.mysunrise.ch/users/gdm/gsoft.htm

NB: For a direct answer, e-mail address on the Web site!