Re: calling function but ignoring results

[Niklas Holsti <niklas.holsti@tidorum.invalid>]

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