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-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,60e2922351e0e780
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2003-11-04 07:10:44 PST
Path: 
 archiver1.google.com!news2.google.com!fu-berlin.de!uni-berlin.de!adsl-213-200-246-247.cybernet.CH!not-for-mail
From: Vinzent 'Gadget' Hoefler <ada.rocks@jlfencey.com>
Newsgroups: comp.lang.ada
Subject: Re: Clause "with and use"
Date: Tue, 04 Nov 2003 16:09:06 +0100
Organization: JeLlyFish software
Message-ID: <bo8fhh$1ac1vm$1@ID-175126.news.uni-berlin.de>
References: <bebbba07.0310312309.77c6d82f@posting.google.com>
 <uism44c1k.fsf@wanadoo.fr> <3FA3B412.AF3BEB96@fakeaddress.nil>
 <uekwr4u1k.fsf@wanadoo.fr> <Ve5pb.36825$294.35899@nwrdny03.gnilink.net>
 <bebbba07.0311022159.345d7cab@posting.google.com>
 <slrnbqcpnq.eeq.randhol+valid_for_reply_from_news@kiuk0156.chembio.ntnu.no>
 <3FA6D275.924D5750@fakeaddress.nil>
 <slrnbqf1is.nb.randhol+valid_for_reply_from_news@kiuk0156.chembio.ntnu.no>
 <1067951806.729117@master.nyc.kbcfp.com>
Reply-To: v.hoefler@acm.org
NNTP-Posting-Host: adsl-213-200-246-247.cybernet.ch (213.200.246.247)
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: quoted-printable
X-Trace: news.uni-berlin.de 1067958642 44435446 213.200.246.247 (16 [175126])
X-Newsreader: Forte Agent 1.8/32.548
Xref: archiver1.google.com comp.lang.ada:2044
Date: 2003-11-04T16:09:06+01:00
List-Id: <comp.lang.ada>

Hyman Rosen wrote:

>Preben Randhol wrote:
>> with Ada.Text_IO;       use Ada.Text_IO;
>
>The usual arguments of extra verbosity leading to clarity
>don't apply to with/use. The problem is that the things in
>the use clause don't necessarily have to be identical to
>the things in the with clause.

-v, please. I don't exactly understand what you mean.

>That means every time you
>see a with/use set, you must verify that the packages in
>both are in fact identical, and if they are not, figure
>out why that is so.

Who? You mean with Ada.Text_IO can reference another Ada.Text_IO that
the one that is "use"d?

Can you provide an example, please? I don't see it.


Vinzent.