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!gandalf.srv.welterde.de!news.jacob-sparre.dk!franka.jacob-sparre.dk!pnx.dk!.POSTED.rrsoftware.com!not-for-mail
From: "Randy Brukardt" <randy@rrsoftware.com>
Newsgroups: comp.lang.ada
Subject: Re: Strings with discriminated records
Date: Tue, 29 May 2018 17:44:25 -0500
Organization: JSA Research & Innovation
Message-ID: <pekl4k$l8t$1@franka.jacob-sparre.dk>
References: <55ce14eb-6b83-4ea0-a550-f9e1410d0b06@googlegroups.com>
 <b5d211dd-beea-4de3-a509-7a8cf5b3f5a0@googlegroups.com>
Injection-Date: Tue, 29 May 2018 22:44:37 -0000 (UTC)
Injection-Info: franka.jacob-sparre.dk;
 posting-host="rrsoftware.com:24.196.82.226";
	logging-data="21789"; mail-complaints-to="news@jacob-sparre.dk"
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2900.5931
X-RFC2646: Format=Flowed; Original
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.7246
Xref: reader02.eternal-september.org comp.lang.ada:52774
Date: 2018-05-29T17:44:25-05:00
List-Id: <comp.lang.ada>


"Mehdi Saada" <00120260a@gmail.com> wrote in message 
news:b5d211dd-beea-4de3-a509-7a8cf5b3f5a0@googlegroups.com...
> Let's go half and half: how about making subtype indication in object 
> renaming simply optional, and allow it for compatibility and in case of 
> ambiguity ?

There's supposed to be an AI for that, but the supposed author hasn't 
written it yet. It's on the Ada 2020 list so it might happen. But it might 
not, too, at least some people think that renames and constants ought to 
work the same -- if that mindset exists then I doubt it will be adopted (the 
only reason I would vote for making the subtype optional in a renames is 
because it is a lie; if it told the truth I would be very against changing 
it).

                                               Randy.