Re: When is a rename not a rename?

[ytomino <aghia05@gmail.com>]

2013年1月30日水曜日 18時31分21秒 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 "=" (Left, Right : T) return Boolean renames XXX."=";
end YYY;

...
declare
   use YYY; -- introduce YYY."="
   use type YYY.T; -- introduce XXX."="
   A, B : T;
begin
   if A = B then -- error because two "=" 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.