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-19 10:01:00 PST Path: archiver1.google.com!news2.google.com!news.maxwell.syr.edu!newsfeed.mathworks.com!wn13feed!worldnet.att.net!207.35.177.252!nf3.bellglobal.com!nf1.bellglobal.com!nf2.bellglobal.com!news20.bellglobal.com.POSTED!not-for-mail From: "Warren W. Gay VE3WWG" 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: <_rGsb.39$pv1.0@read3.inet.fi> In-Reply-To: Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit Message-ID: Date: Wed, 19 Nov 2003 12:46:23 -0500 NNTP-Posting-Host: 198.96.223.163 X-Complaints-To: abuse@sympatico.ca X-Trace: news20.bellglobal.com 1069263946 198.96.223.163 (Wed, 19 Nov 2003 12:45:46 EST) NNTP-Posting-Date: Wed, 19 Nov 2003 12:45:46 EST Organization: Bell Sympatico Xref: archiver1.google.com comp.lang.ada:2687 Date: 2003-11-19T12:46:23-05:00 List-Id: Dmitry A. Kazakov wrote: > On Mon, 17 Nov 2003 11:42:45 -0500, "Warren W. Gay VE3WWG" > wrote: > >>Dmitry A. Kazakov wrote: >> >>>On Fri, 14 Nov 2003 09:51:33 -0500, "Warren W. Gay VE3WWG" >>> wrote: >>> >>>>Dmitry A. Kazakov wrote: >>>> >>>>>On Thu, 13 Nov 2003 12:51:51 -0500, "Warren W. Gay VE3WWG" >>>>> 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