From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.5-pre1 (2020-06-20) on
	ip-172-31-74-118.ec2.internal
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=3.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.5-pre1
Path: eternal-september.org!reader02.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: Dueling Compilers
Date: Fri, 18 Dec 2020 20:00:02 -0600
Organization: JSA Research & Innovation
Message-ID: <rrjmr4$83i$1@franka.jacob-sparre.dk>
References: <rploh9$3kd$1@dont-email.me> <rpn3bn$q97$1@franka.jacob-sparre.dk> <rpqa2q$hau$1@dont-email.me> <rpsd2e$omj$1@franka.jacob-sparre.dk> <rrgemq$bbh$1@dont-email.me>
Injection-Date: Sat, 19 Dec 2020 02:00:04 -0000 (UTC)
Injection-Info: franka.jacob-sparre.dk; posting-host="rrsoftware.com:24.196.82.226";
	logging-data="8306"; 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; Response
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.7246
Xref: reader02.eternal-september.org comp.lang.ada:60886
List-Id: <comp.lang.ada>

"Jeffrey R. Carter" <spam.jrcarter.not@spam.not.acm.org> wrote in message 
news:rrgemq$bbh$1@dont-email.me...
> On 11/28/20 3:35 AM, Randy Brukardt wrote:
>> "Jeffrey R. Carter" <spam.jrcarter.not@spam.not.acm.org> wrote in message
>> news:rpqa2q$hau$1@dont-email.me...
>>> On 11/26/20 3:19 AM, Randy Brukardt wrote:
>>
>>>> So this will have to be an ARG question -- I can't answer it
>>>> definitively.
>>>
>>> OK, I'll research the format of submissions to Ada-Comment and send it 
>>> in.
>
> For those who are interested, this became AI12-0409-1, approved 2020-12-09
>
> http://www.ada-auth.org/cgi-bin/cvsweb.cgi/ai12s/ai12-0409-1.txt

For what it's worth, that approval included moving most of AI12-0399-1 to 
this AI, and making this AI a Binding Interpretation so it applies to Ada 
2012 as well. We agreed not to require in the ACATS that implementations 
define the Preelaborable_Initialization aspect (if they have some other 
existing way to do this, that's fine by us for Ada 2012), but they can if 
they want. We will insist that bounded containers have P_I if the element 
type has P_I, and that they can be instantiated if the element type does not 
have P_I.

                           Randy.