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-65-14.ec2.internal
X-Spam-Level: 
X-Spam-Status: No, score=-0.5 required=3.0 tests=BAYES_05,FREEMAIL_FROM,
	T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.6
X-Received: by 2002:a05:620a:1313:b0:74e:509:844 with SMTP id o19-20020a05620a131300b0074e05090844mr4201745qkj.8.1683174069172;
        Wed, 03 May 2023 21:21:09 -0700 (PDT)
X-Received: by 2002:a25:41ca:0:b0:b6c:48c3:3c1c with SMTP id
 o193-20020a2541ca000000b00b6c48c33c1cmr13780432yba.13.1683174068876; Wed, 03
 May 2023 21:21:08 -0700 (PDT)
Path: eternal-september.org!news.eternal-september.org!border-1.nntp.ord.giganews.com!nntp.giganews.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Wed, 3 May 2023 21:21:08 -0700 (PDT)
In-Reply-To: <0001HW.29FD7EE2010A7CA0700003DA538F@news.individual.net>
Injection-Info: google-groups.googlegroups.com; posting-host=2a03:7380:380d:1fb:244d:fb09:268c:566d;
 posting-account=K1cP1QoAAAD_GR6kW2Td0NqGqGBLRE8h
NNTP-Posting-Host: 2a03:7380:380d:1fb:244d:fb09:268c:566d
References: <0001HW.29FC948900FDEFB3700003DA538F@news.individual.net>
 <ly8reaiv57.fsf@pushface.org> <0001HW.29FD7EE2010A7CA0700003DA538F@news.individual.net>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <cb2f6865-79bd-4f92-83a8-1fcfb43bf79fn@googlegroups.com>
Subject: Re: Trying GCC 13.1.0 (x86_64) on Ventura 13.3.1
From: Maxim Reznik <reznikmm@gmail.com>
Injection-Date: Thu, 04 May 2023 04:21:09 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Xref: news.eternal-september.org comp.lang.ada:65167
List-Id: <comp.lang.ada>

=D1=81=D1=83=D0=B1=D0=B1=D0=BE=D1=82=D0=B0, 29 =D0=B0=D0=BF=D1=80=D0=B5=D0=
=BB=D1=8F 2023=E2=80=AF=D0=B3. =D0=B2 19:35:50 UTC+3, Bill Findlay:
> I guess I am wondering about this:
>> Further additions and fixes for the Ada 2022 specification.
> Where would AdaCore enumerate those updates?

I can't speak for AdaCore, but I tried to search in ChangeLog and

Regarding the improvement of Ada 2022 support, I only found two cases. The =
'Index attribute has been implemented for use in the preconditions and post=
conditions of input families. Containers have received versions of cursor o=
perations where the first argument is the container object. These include H=
as_Element, Element, Next, and so on, i.e. we can write My_Set.Has_Element =
(Cursor).

https://forum.ada-lang.io/t/gcc-13-1-released/374/3?u=3Dmax