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=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!mx02.eternal-september.org!.POSTED!not-for-mail
From: Bob Duff <bobduff@theworld.com>
Newsgroups: comp.lang.ada
Subject: Re: GNAT bug in the GNAT GPL 2014 compiler?
Date: Wed, 25 Mar 2015 10:16:49 -0400
Organization: A noiseless patient Spider
Message-ID: <87619pw4a6.fsf@theworld.com>
References: <89634980-4629-4c50-a4bc-e7cd344ca222@googlegroups.com>
	<850d68b8-fdc6-4363-a8c2-d5868ecbed6f@googlegroups.com>
	<1c486967-cf12-4aa0-9bc0-3774f3fc8188@googlegroups.com>
	<mets99$ss4$1@dont-email.me>
	<c9a82f86-843a-42ce-91f7-348f4d886676@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain
Injection-Info: mx02.eternal-september.org;
 posting-host="c696288be1fe4d12f7bfb5d5d73f833b";
	logging-data="5850"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX1+nndlYGGohaVAaRXia/HfZ"
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.3 (gnu/linux)
Cancel-Lock: sha1:L9OMrUGJoRIj6zBnG9Fsb0WZhr0=
	sha1:jaGq1GhZo0BUm5/pcCRz0mEqGBE=
Xref: news.eternal-september.org comp.lang.ada:25250
Date: 2015-03-25T10:16:49-04:00
List-Id: <comp.lang.ada>

Egil H H <ehh.public@gmail.com> writes:

> On Wednesday, March 25, 2015 at 9:41:01 AM UTC+1, Georg Bauhaus wrote:
>> but I'd suspect same naming overload.
>
> Exactly.
>
> "package Amock.Main_Application" implicitly "use" Amock.

Amock is directly visible within Amock.Main_Application, but there is
not implicit "use".  The visibility is as if Main_Application were
physically nested in Amock.  So Amok.Ada hides Standard.Ada.
If it were "use" visibility, then they would both be hidden
(which would be an improvement to the language).

My spell checker wants it to be "Amok".

> So when there is a child package called "Amock.Ada"
> (implicilty included by "with Amock.Ada.Fields;" and 
> "with Amock.Ada.Types;")any references to "Ada" in the 
> code will be resolved to this child package. 
>
> Either "Amock.Ada" should be renamed, or the ambiguity
> should be resolved by prefixing with Standard, as
> suggested.

Right.

- Bob