From: Egil H H <ehh.public@gmail.com>
Subject: Re: Non-standard functions in GNAT's Ada.Containers packages?
Date: Wed, 14 Sep 2022 09:04:44 -0700 (PDT) [thread overview]
Message-ID: <d2881a83-7670-447d-9653-f8abcb294564n@googlegroups.com> (raw)
In-Reply-To: <tfshro$2umbi$1@dont-email.me>
On Wednesday, September 14, 2022 at 2:36:11 PM UTC+2, G.B. wrote:
> In Ada.Containers.{Kind}s of GCC 11.2, I find functions defined
> by the pattern:
>
> function Empty (Capacity : Count_Type := 1000) return {Kind};
>
> I couldn't find these functions in the LRM's package specifications.
<snip>
> Am I missing something?
They're part of Ada 2022, needed for the new container aggregate syntax.
See,
http://www.ada-auth.org/standards/2xrm/html/RM-A-18-5.html
http://www.ada-auth.org/standards/2xrm/html/RM-4-3-5.html
next prev parent reply other threads:[~2022-09-14 16:04 UTC|newest]
Thread overview: 15+ messages / expand[flat|nested] mbox.gz Atom feed top
2022-09-14 12:36 Non-standard functions in GNAT's Ada.Containers packages? G.B.
2022-09-14 16:04 ` Egil H H [this message]
2022-09-15 7:13 ` G.B.
2022-09-15 14:26 ` Marius Amado-Alves
2022-09-15 15:03 ` Niklas Holsti
2022-09-15 17:11 ` Marius Amado-Alves
2022-09-15 17:22 ` Dmitry A. Kazakov
2022-09-16 16:03 ` Marius Amado-Alves
2022-09-16 16:30 ` Marius Amado-Alves
2022-09-16 17:08 ` Jere
2022-09-16 11:33 ` Björn Lundin
2022-09-16 15:00 ` Marius Amado-Alves
2022-09-16 15:42 ` Egil H H
2022-09-16 18:53 ` Björn Lundin
2022-09-16 15:47 ` Jere
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox