Re: Clause "with and use"

["Warren W. Gay VE3WWG" <ve3wwg@cogeco.ca>]

Dmitry A. Kazakov wrote:

> On Mon, 17 Nov 2003 11:42:45 -0500, "Warren W. Gay VE3WWG"
> <ve3wwg@cogeco.ca> wrote:
> 
>>Dmitry A. Kazakov wrote:
>>
>>>On Fri, 14 Nov 2003 09:51:33 -0500, "Warren W. Gay VE3WWG"
>>><ve3wwg@cogeco.ca> wrote:
>>>
>>>>Dmitry A. Kazakov wrote:
>>>>
>>>>>On Thu, 13 Nov 2003 12:51:51 -0500, "Warren W. Gay VE3WWG"
>>>>><ve3wwg@cogeco.ca> wrote:
>>
>>...
>>
>>>There should be something wrong with the language, if the following is
>>>illegal:
>>>
>>>with Ada.Io_Exceptions;
>>>package A is
>>>   End_Error : exception renames Ada.Io_Exceptions.End_Error;
>>>end A;
>>>
>>>with Ada.Io_Exceptions;
>>>package B is
>>>   End_Error : exception renames Ada.Io_Exceptions.End_Error;
>>>end B;
>>
>>This is more sillyness. When you USE both packages, you take
>>a hierarchical name space and flatten it. So what else would
>>you expect if there were clashes?
> 
> 
> I expect renaming be renaming. So A.End_Error and B.End_Error should
> not clash in any context. Compare it with :
> 
> package A is
>    X : Integer;
> end A;
> 
> with A;
> package B renames A;
> 
> with A; use A;
> with B; use B;
> procedure Test is
> begin
>    X := 1; -- This is OK
> end Test;
> 
> This example illustrates the fact that package renaming *is* a
> renaming.
> 
> The example with End_Error shows that object renaming is something
> very different.

OK, I see where you're going with this now. I did overlook
the renames clause. I don't have an issue with this myself,
given that the "ending point" refers to the same thing.

While resolving this specific issue would help, it would not
resolve the general problem with other name clashes.

-- 
Warren W. Gay VE3WWG
http://home.cogeco.ca/~ve3wwg