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=-0.3 required=5.0 tests=BAYES_00,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: 103376,9fb8e2af320d5b3e
X-Google-Attributes: gid103376,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news3.google.com!proxad.net!feeder1-2.proxad.net!62.111.101.3.MISMATCH!news.germany.com!news.belwue.de!newsfeed.arcor.de!newsspool3.arcor-online.net!news.arcor.de.POSTED!not-for-mail
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: Bus error
Newsgroups: comp.lang.ada
User-Agent: 40tude_Dialog/2.0.15.1
MIME-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: 7bit
Reply-To: mailbox@dmitry-kazakov.de
Organization: cbb software GmbH
References: 
 <0367891DA5DA7E408D42A860FA002F44B0CC48@sma2901.cr.eurocopter.corp>
 <mailman.10.1183113484.1644.comp.lang.ada@ada-france.org>
 <1l4yqvxoid4n1.1u8eo4oo8ml4m$.dlg@40tude.net>
 <4685280c$0$14869$9b4e6d93@newsspool4.arcor-online.net>
 <tk9ak6o26vr7.15x8n04sjd359.dlg@40tude.net>
 <46865672$0$23136$9b4e6d93@newsspool1.arcor-online.net>
 <18um6sna5z89.1ksvtmbvj91ds$.dlg@40tude.net>
 <wccved55udj.fsf@shell01.TheWorld.com>
Date: Sun, 1 Jul 2007 10:34:07 +0200
Message-ID: <1b9ocrlv2jphe.3fmct1wz53o4$.dlg@40tude.net>
NNTP-Posting-Date: 01 Jul 2007 10:33:24 CEST
NNTP-Posting-Host: 0ae0fb32.newsspool1.arcor-online.net
X-Trace: 
 DXC=5Ml3mA6MiT3^cW`WBF>WQ<ic==]BZ:af>4Fo<]lROoR1Fl8W>\BH3Y2^8KKO5n_BH9DNcfSJ;bb[5IRnRBaCd<M>^hm]TJ?R?^2\MiSXkiE@]?
X-Complaints-To: usenet-abuse@arcor.de
Xref: g2news1.google.com comp.lang.ada:16369
Date: 2007-07-01T10:33:24+02:00
List-Id: <comp.lang.ada>

On Sat, 30 Jun 2007 11:34:16 -0400, Robert A Duff wrote:

> "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> writes:
> 
>> On Sat, 30 Jun 2007 15:14:39 +0200, Georg Bauhaus wrote:
>>
>>> Dmitry A. Kazakov wrote:
>>>> Note also that Ada's renaming has conceptually little to do
>>>> with objects. Consider:
>>>> 
>>>>    X : T;
>>>>    X : T renames X; -- Illegal
>>>> 
>>>> though the "object" is obviously same. Same object, same name, what was
>>>> wrong?
>>> 
>>> A programmer construing strange assumptions about the possibility of
>>> duplicate names in a declarative part of an Ada program, I'd say.
>>
>> Where do you see duplicated names?  Is bare name an object? Observe that X
>> referred to exactly same object, if the theory were correct. But apparently
>> the theory is wrong, and in fact X : T renames X; produces something else.
> 
> I must say, I'm mystified as to what the above example is supposed
> illustrate.  You can't have two declarations with the same name
> (unless they are both overloadable).  The fact that they are both
> names for the same object is irrelevant to THAT rule.

Declarations of what? That is the question. Allegedly, as the name of the
thing let suggest, "rename" does not declare anything [new]. Does "use"
declare something? Or is name an object?

If I designed rename, I would certainly allow X renames X; similarly to
"use" or "with" A, A;

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de