comp.lang.ada
 help / color / mirror / Atom feed
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

  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