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-15 08:16:14 PST
Path: 
 archiver1.google.com!news2.google.com!fu-berlin.de!solnet.ch!solnet.ch!irazu.switch.ch!switch.ch!news.hispeed.ch!not-for-mail
From: Gautier Write-only <gautier@fakeaddress.nil>
Newsgroups: comp.lang.ada
Subject: Re: Clause "with and use"
Date: Sat, 15 Nov 2003 17:15:55 +0100
Organization: Cablecom Newsserver
Message-ID: <3FB6513B.DA6E53CA@fakeaddress.nil>
References: <bebbba07.0311081140.e0e94e6@posting.google.com> for reply from
 news@kiuk0156.chembio.ntnu.no> <boq8bm$1g79l6$1@ID-175126.news.uni-berlin.de>
 <bebbba07.0311111235.e74c902@posting.google.com>
 <bormns$1i4d87$1@ID-175126.news.uni-berlin.de>
 <3FB1609E.D56E315C@fakeaddress.nil>
 <borog2$1fpdhl$1@ID-175126.news.uni-berlin.de>
 <bebbba07.0311122326.690bd121@posting.google.com>
 <bp0nqn$afi$1@msunews.cl.msu.edu>
 <bebbba07.0311132145.58a4541e@posting.google.com>
 <bp22op$1ltd$1@msunews.cl.msu.edu>
 <bebbba07.0311141523.3c523f8c@posting.google.com>
 <G-udnYiJ3bOJ2SuiRVn-tg@comcast.com>
NNTP-Posting-Host: dclient80-218-92-116.hispeed.ch
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
X-Trace: newshispeed.ch 1068912969 22872 80.218.92.116 (15 Nov 2003 16:16:09
 GMT)
X-Complaints-To: news@hispeed.ch
NNTP-Posting-Date: Sat, 15 Nov 2003 16:16:09 +0000 (UTC)
X-Mailer: Mozilla 4.8 [en] (Windows NT 5.0; U)
X-Accept-Language: en
Xref: archiver1.google.com comp.lang.ada:2516
Date: 2003-11-15T17:15:55+01:00
List-Id: <comp.lang.ada>

Robert I. Eachus:

> Bzzzt! Wrong Answer, try again.  A use clasue in Ada does NOT imply that
> there is a with around somewhere.  Try compiling:
> 
> procedure Junk is
>    use Ascii;
> begin null; end Junk;
> 
> If you have any doubts about that.
> 
> Ascii is somewhat special, but fairly common is:
> 
> package Outer is...
>     package Inner is...
> 
> end Outer;
> 
> package body Outer is
>    use Inner;
>    ...
> end Outer;
> 
> Again a use clause without a with clause in sight.

Both "use" you cite are not context clauses -> OT, sorry !

BTW, your mention of ASCII is interesting.
* Ada 83 (and later) implies a non-written "with Standard; use Standard;"
  - ASCII is subpackage of Standard.
* Ada 95 (and later) implies a non-written "with Ada, Ada.Strings;" when you
  just write "with Ada.Strings.Maps;". Same for all children 

-> things are not at all 100% explicit in the present standard.

* The "[with and ]use" proposal offers the possibility of writing once
  the name of a package instead of twice when you use "use" in a context clause.

-> this feature doesn't reduce from 1 to 0 the appearance of a package name
   like both mentioned above, but from 2 to 1. When the feature is used, the
   names remain explicit, but without redundance.

Clearly the contestation about this proposal is just because this is an evolution.
Existing elements are by default sacred, improvements are by default suscpicious...
________________________________________________________
Gautier  --  http://www.mysunrise.ch/users/gdm/gsoft.htm

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