From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM autolearn=unavailable autolearn_force=no version=3.4.4 X-Received: by 2002:ac8:682:: with SMTP id f2mr43030828qth.149.1571201348761; Tue, 15 Oct 2019 21:49:08 -0700 (PDT) X-Received: by 2002:a05:6830:10cc:: with SMTP id z12mr5225646oto.110.1571201348434; Tue, 15 Oct 2019 21:49:08 -0700 (PDT) Path: eternal-september.org!reader01.eternal-september.org!feeder.eternal-september.org!weretis.net!feeder7.news.weretis.net!proxad.net!feeder1-2.proxad.net!209.85.160.216.MISMATCH!o24no1752542qtl.0!news-out.google.com!q23ni936qtl.1!nntp.google.com!o24no1752532qtl.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Tue, 15 Oct 2019 21:49:08 -0700 (PDT) In-Reply-To: Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=81.167.3.186; posting-account=uulyKwoAAAA86DO0ODu--rZtbje8Sytn NNTP-Posting-Host: 81.167.3.186 References: <5f53e122-6b99-48ca-b6cc-4ae43c0a2221@googlegroups.com> <287024ef-def7-43fe-8bb5-94cae597ffa7@googlegroups.com> <93d508a9-96e0-4521-a407-eea17904b14a@googlegroups.com> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: <8c43436e-3f30-41d0-bca2-a4e735b06f64@googlegroups.com> Subject: Re: How can I create an empty array of a generic type? From: Egil H H Injection-Date: Wed, 16 Oct 2019 04:49:08 +0000 Content-Type: text/plain; charset="UTF-8" Xref: reader01.eternal-september.org comp.lang.ada:57297 Date: 2019-10-15T21:49:08-07:00 List-Id: 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