From: Egil H H <ehh.public@gmail.com>
Subject: Re: How can I create an empty array of a generic type?
Date: Tue, 15 Oct 2019 21:49:08 -0700 (PDT)
Date: 2019-10-15T21:49:08-07:00 [thread overview]
Message-ID: <8c43436e-3f30-41d0-bca2-a4e735b06f64@googlegroups.com> (raw)
In-Reply-To: <e443f4cc-6ab4-4f76-9b65-25c139afb340@googlegroups.com>
On Wednesday, October 16, 2019 at 4:03:40 AM UTC+2, Andrew Shvets wrote:
> On Sunday, July 14, 2019 at 12:41:41 PM UTC-4, bj.m...@gmail.com wrote:
> > With Ada 2020, you'll also be able to write the following, which eliminates the need for specifying a null range;
> >
> > Empty_Key : constant Key_Type := [];
> >
> > Brad
>
> Where did you see that in the ARM 202X?
For arrays, RM 4.3.3.3 (3.1/5):
null_array_aggregate ::= '[' ']'
http://ada-auth.org/standards/2xrm/html/RM-4-3-3.html
For containers, RM 4.3.5 (14/5):
null_container_aggregate ::= '[' ']'
http://ada-auth.org/standards/2xrm/html/RM-4-3-5.html
--
~egilhh
prev parent reply other threads:[~2019-10-16 4:49 UTC|newest]
Thread overview: 12+ messages / expand[flat|nested] mbox.gz Atom feed top
2019-07-13 3:36 How can I create an empty array of a generic type? b.mcguinness747
2019-07-13 4:11 ` Keith Thompson
2019-07-13 5:24 ` J-P. Rosen
2019-07-13 21:19 ` Keith Thompson
2019-07-14 11:09 ` reinert
2019-07-14 11:15 ` reinert
2019-07-14 11:27 ` Jeffrey R. Carter
2019-07-14 12:49 ` J-P. Rosen
2019-07-13 21:02 ` b.mcguinness747
2019-07-14 16:41 ` bj.mooremr
2019-10-16 2:03 ` Andrew Shvets
2019-10-16 4:49 ` Egil H H [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