help / color / mirror / Atom feed
From: Maxim Reznik <>
Subject: Re: Trying GCC 13.1.0 (x86_64) on Ventura 13.3.1
Date: Wed, 3 May 2023 21:21:08 -0700 (PDT)	[thread overview]
Message-ID: <> (raw)
In-Reply-To: <>

суббота, 29 апреля 2023 г. в 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 postconditions of input families. Containers have received versions of cursor operations where the first argument is the container object. These include Has_Element, Element, Next, and so on, i.e. we can write My_Set.Has_Element (Cursor).

      reply	other threads:[~2023-05-04  4:21 UTC|newest]

Thread overview: 4+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2023-04-28 23:55 Trying GCC 13.1.0 (x86_64) on Ventura 13.3.1 Bill Findlay
2023-04-29 15:08 ` Simon Wright
2023-04-29 16:35   ` Bill Findlay
2023-05-04  4:21     ` Maxim Reznik [this message]
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox