comp.lang.ada
 help / color / mirror / Atom feed
From: ytomino <aghia05@gmail.com>
Subject: Re: When is a rename not a rename?
Date: Sat, 2 Feb 2013 04:24:31 -0800 (PST)
Date: 2013-02-02T04:24:31-08:00	[thread overview]
Message-ID: <3f6b84d2-6fee-43ca-ac80-fb99c0778a47@googlegroups.com> (raw)
In-Reply-To: <18239154-6753-455c-b00e-4caf876e03ff@googlegroups.com>

On Saturday, February 2, 2013 10:40:40 AM UTC+9, Adam Beneschan wrote:
> Although the two Operation's that could be denoted by this actually refer to the same declaration after renaming is considered, it's still ambiguous since we don't know what should be passed for Offset.  Parameter names can also be different in a subprogram rename, which can pose another problem.  The language rules would have to be written to allow the case you're interested in but disallow examples like mine.  Not easy.

Right you are. I'm afraid for/have to be careful not to make typo in renaming.

I think... in the case, human have not to write "renames" by hand. Actually, There are some typo in examples (including mine...orz) presented in this thread. :-)

"Integrated" nested packages proposed in AI05-0135 seems easy and good to me.

with XXX;
package YYY is 
   use package <Included_XXX> renames XXX;
end YYY;

with Small1, Small2;
package Large is
   use package <Included_Small_1> renames Small1;
   use package <Included_Small_2> renames Small2;
end Large;

Perhaps, it too makes large headers like Win32Ada more simpler.

As another solution, I have to remove "use type" from client code because "use" implies "use type". But I have to remove "use type" from other person's code...



  reply	other threads:[~2013-02-02 12:24 UTC|newest]

Thread overview: 19+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2013-01-29  1:24 When is a rename not a rename? Adam Beneschan
2013-01-30  0:28 ` Randy Brukardt
2013-01-30  0:52   ` Adam Beneschan
2013-01-30  9:31     ` Dmitry A. Kazakov
2013-01-30 14:35       ` ytomino
2013-02-01 10:44 ` Ada novice
2013-02-01 11:27   ` Dmitry A. Kazakov
2013-02-01 17:32     ` Adam Beneschan
2013-02-01 18:31       ` ytomino
2013-02-02  1:40         ` Adam Beneschan
2013-02-02 12:24           ` ytomino [this message]
2013-02-02 14:26           ` Robert A Duff
2013-02-02 17:11             ` Shark8
2013-02-02  0:42       ` Brian Drummond
2013-02-02 11:43         ` AdaMagica
2013-02-03 11:50           ` Brian Drummond
2013-02-03 12:16             ` AdaMagica
2013-02-05  9:53       ` Ada novice
2013-02-01 17:48     ` Ada novice
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox