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=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!feeder.eternal-september.org!maths.tcd.ie!newsswitch.lcs.mit.edu!nntp.TheWorld.com!.POSTED!not-for-mail
From: Robert A Duff <bobduff@TheWorld.com>
Newsgroups: comp.lang.ada
Subject: Re: Studying and Maintaining GNAT,
 Is There Any Interest in a New Group?
Date: Sat, 01 Sep 2018 15:42:32 -0400
Organization: The World Public Access UNIX, Brookline, MA
Message-ID: <wccin3pqa1j.fsf@TheWorld.com>
References: <d0ae2366-32a2-42ff-8750-4802bbcfd251@googlegroups.com>
	<309225242.556906218.575482.laguest-archeia.com@nntp.aioe.org>
	<ec9cbd0c-51d4-4a55-a2b0-b6c6b96bb9fb@googlegroups.com>
	<ly4lfimepc.fsf@pushface.org>
	<b21b2991-a0b0-46ed-ba49-b5cbad1e9a98@googlegroups.com>
	<2145221813.556924687.162377.laguest-archeia.com@nntp.aioe.org>
	<lysh30kv4l.fsf@pushface.org>
	<0001HW.213464550E84375C70000C7DB2CF@news.individual.net>
	<c647d0f6-7908-4e7e-8731-5364fa921d54@googlegroups.com>
	<wcc5zzqtels.fsf@TheWorld.com> <pmcgps$850$1@franka.jacob-sparre.dk>
NNTP-Posting-Host: shell02.theworld.com
Mime-Version: 1.0
Content-Type: text/plain
X-Trace: pcls7.std.com 1535830952 20182 192.74.137.72 (1 Sep 2018 19:42:32
 GMT)
X-Complaints-To: abuse@TheWorld.com
NNTP-Posting-Date: Sat, 1 Sep 2018 19:42:32 +0000 (UTC)
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.3 (gnu/linux)
Cancel-Lock: sha1:zaqjtiHc1E/wxc/ZE0Tn3Rqr070=
Xref: reader02.eternal-september.org comp.lang.ada:54308
Date: 2018-09-01T15:42:32-04:00
List-Id: <comp.lang.ada>

"Randy Brukardt" <randy@rrsoftware.com> writes:

> Note that every one of these renames was illegal in Ada 83. Someone thought 
> that it was important to allow Ren1 in Ada 95, and that led to all of these 
> bizarre cases.

I think it was mostly accidental. We needed to say that the result of
a function call is an object (as opposed to a value, as in Ada 83),
because it needs to get finalized. This caused renaming of
function calls to become legal, which we viewed as harmless
and sometimes useful.

We didn't take the further step of making all the other cases
you mentioned legal. Perhaps we should have, just for uniformity.

- Bob