From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on
	ip-172-31-74-118.ec2.internal
X-Spam-Level: 
X-Spam-Status: No, score=-2.9 required=3.0 tests=BAYES_00,NICE_REPLY_A
	autolearn=ham autolearn_force=no version=3.4.6
Path: eternal-september.org!reader02.eternal-september.org!news.szaf.org!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail
From: Niklas Holsti <niklas.holsti@tidorum.invalid>
Newsgroups: comp.lang.ada
Subject: Re: calling function but ignoring results
Date: Fri, 9 Jul 2021 22:20:56 +0300
Organization: Tidorum Ltd
Message-ID: <ikrlspFjskkU1@mid.individual.net>
References: <69a59fdc-72bb-4202-99fc-d776530de653n@googlegroups.com>
 <sbftm5$1gn$1@dont-email.me> <sbg04v$i7i$1@gioia.aioe.org>
 <sbh1lf$i1c$1@franka.jacob-sparre.dk> <sca3lg$de5$1@dont-email.me>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
X-Trace: individual.net vtsh1hkL7+lwHqmy/Ti6LwsgUJjxZqLdaebF+2FU2Sp78hf+w6
Cancel-Lock: sha1:Euzx+C/nomFXPKH/r4xGCN2JUyw=
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.14; rv:78.0)
 Gecko/20100101 Thunderbird/78.11.0
In-Reply-To: <sca3lg$de5$1@dont-email.me>
Content-Language: en-US
Xref: reader02.eternal-september.org comp.lang.ada:62368
List-Id: <comp.lang.ada>

On 2021-07-09 21:14, G.B. wrote:
> On 30.06.21 08:06, Randy Brukardt wrote:
> 
>> In Ada 202x, renaming is easier (assuming the usual case where 
>> overloading
>> isn't involved):
>>
>>     declare
>>        Ignore renames Foo (Baz);
>>     begin
>>        null;
>>     end;
> 
> Is this "type-less" naming a copy of the popular omission schemes
> like auto in C++? Optional type annotations in Swift, or Scala?


I don't know all the origins of this language change, but it can be seen 
as a correction because it avoids the wart in the earlier Ada form of 
renaming, where a (sub)type name is included. The wart is that the 
constraints of that (sub)type are essentially ignored, and so can be 
misleading.

AI12-0275 seems to be the main origin of this change:

http://www.ada-auth.org/cgi-bin/cvsweb.cgi/ai12s/ai12-0275-1.txt?rev=1.9&raw=N