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,FREEMAIL_FROM
	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-16 11:39:48 PST
Path: 
 archiver1.google.com!news2.google.com!news.maxwell.syr.edu!small1.nntp.aus1.giganews.com!border1.nntp.aus1.giganews.com!intern1.nntp.aus1.giganews.com!nntp.giganews.com!nntp.comcast.com!news.comcast.com.POSTED!not-for-mail
NNTP-Posting-Date: Sun, 16 Nov 2003 13:39:46 -0600
Date: Sun, 16 Nov 2003 14:39:45 -0500
From: "Robert I. Eachus" <rieachus@comcast.net>
User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.0; en-US;
 rv:1.4) Gecko/20030624 Netscape/7.1 (ax)
X-Accept-Language: en-us, en
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: Clause "with and use"
References: <bebbba07.0311081140.e0e94e6@posting.google.com>
 <bebbba07.0311102320.7fba665a@posting.google.com>
 <slrnbr17j1.1qo.randhol+valid 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> <3FB65716.85E1F775@fakeaddress.nil>
 <1IKdnYIxfIidWSui4p2dnA@comcast.com> <Ld6dndjIC6BKTSuiRVn-uA@gbronline.com>
 <3FB790ED.AE992406@fakeaddress.nil>
In-Reply-To: <3FB790ED.AE992406@fakeaddress.nil>
Content-Type: text/plain; charset=us-ascii; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <ddudndiNb7YeTyqiRVn-gw@comcast.com>
NNTP-Posting-Host: 24.34.214.193
X-Trace: 
 sv3-UdCVXwTSmk//yXrn3cNqImxO2z9+cH9IwWryvzXE1GnfcUX95H3/fa6U/+E74JJaqoa+DG/tz4wDdsX!+PVvWRxEVsZ3JZkCQVi9oinfigLCCWXB70D4SEN+Ttt/vL+yl4nAnGWMEzme6A==
X-Complaints-To: abuse@comcast.net
X-DMCA-Complaints-To: dmca@comcast.net
X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers
X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint
 properly
X-Postfilter: 1.1
Xref: archiver1.google.com comp.lang.ada:2546
Date: 2003-11-16T14:39:45-05:00
List-Id: <comp.lang.ada>

Gautier wrote:

>>However, it wasn't your sample that found the bug.
>>
>>You posted
>>
>>   package body Outer is
>>     use Inner;
>>
>>He changed it to
>>
>>   use Outer.Inner;
>>   package body Outer is
> 
> 
> Thank you for the precision.

I know, I was trying to write in the non-compiler testing mode.  Gautier 
changed it to what I originally thought, then decided this was a 
language discussion not a compiler torture test.

> I'm curious to know who's right on the changed example: GNAT or ObjectAda ?
> GNAT compiles, OA says:
> 
> outer.adb: Error: line 1 col 6 LRM:4.1(3), Direct name, Outer, is not visible, Ignoring future references 

I guess I'd have to say that the reference in OA is definitely wrong, it 
should be referencing 10.1.6(3).

But GNAT is definitely wrong.  Only the names made visible or directly 
visible by previous with clauses in the same context clause are visible 
in a use clause of the context clause.

-- 
 
Robert I. Eachus

100% Ada, no bugs--the only way to create software.