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-Thread: 103376,63ed09fc54092c73
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,UTF8
X-Received: by 10.66.84.98 with SMTP id x2mr463836pay.10.1359556520835;
        Wed, 30 Jan 2013 06:35:20 -0800 (PST)
X-Received: by 10.50.11.136 with SMTP id q8mr666778igb.3.1359556520771; Wed,
 30 Jan 2013 06:35:20 -0800 (PST)
Path: 
 6ni25139pbd.1!nntp.google.com!f6no4133929pbd.1!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Wed, 30 Jan 2013 06:35:20 -0800 (PST)
In-Reply-To: <1eclfao2yxz9q.h1e6x4vqcmj2$.dlg@40tude.net>
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com;
 posting-host=114.145.224.127;
 posting-account=Mi71UQoAAACnFhXo1NVxPlurinchtkIj
NNTP-Posting-Host: 114.145.224.127
References: <6d66d1c4-ed22-446b-a9d7-dc806ae1ef8f@googlegroups.com>
 <ke9pfj$pde$1@munin.nbi.dk>
 <11f519a9-4516-46b1-829f-95c256b81508@googlegroups.com>
 <1eclfao2yxz9q.h1e6x4vqcmj2$.dlg@40tude.net>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <53d57522-7444-4b6d-854c-19b3cb55cd24@googlegroups.com>
Subject: Re: When is a rename not a rename?
From: ytomino <aghia05@gmail.com>
Cc: mailbox@dmitry-kazakov.de
Injection-Date: Wed, 30 Jan 2013 14:35:20 +0000
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: quoted-printable
Date: 2013-01-30T06:35:20-08:00
List-Id: <comp.lang.ada>

2013=E5=B9=B41=E6=9C=8830=E6=97=A5=E6=B0=B4=E6=9B=9C=E6=97=A5 18=E6=99=8231=
=E5=88=8621=E7=A7=92 UTC+9 Dmitry A. Kazakov:
> I wished the rule that a renaming shall never conflict with the thing is
> renames [and never creates logically new objects].

with XXX;
package YYY is
   subype T is XXX.T;
   function "=3D" (Left, Right : T) return Boolean renames XXX."=3D";
end YYY;

...
declare
   use YYY; -- introduce YYY."=3D"
   use type YYY.T; -- introduce XXX."=3D"
   A, B : T;
begin
   if A =3D B then -- error because two "=3D" are conflicted!
...

I wish this case may be not conflicted.
There is probably no way to create a package having any entities perfectly =
rename something in another package.