Re: Dueling Compilers

["Randy Brukardt" <randy@rrsoftware.com>]

"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.