From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on ip-172-31-65-14.ec2.internal X-Spam-Level: X-Spam-Status: No, score=-1.9 required=3.0 tests=BAYES_00,FREEMAIL_FROM, T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.6 Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!aioe.org!PAH2WLQzsO9hmEab7f6scg.user.46.165.242.75.POSTED!not-for-mail From: Blady Newsgroups: comp.lang.ada Subject: New aggregates with Ada 2022. Date: Sun, 19 Jun 2022 09:59:16 +0200 Organization: Aioe.org NNTP Server Message-ID: Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Info: gioia.aioe.org; logging-data="65282"; posting-host="PAH2WLQzsO9hmEab7f6scg.user.gioia.aioe.org"; mail-complaints-to="abuse@aioe.org"; User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.15; rv:91.0) Gecko/20100101 Thunderbird/91.9.1 X-Notice: Filtered by postfilter v. 0.9.2 Content-Language: en-US Xref: reader02.eternal-september.org comp.lang.ada:63995 List-Id: Hello, Following the example section of RM Ada 2022 ยง 4.3.5 Container Aggregate, I want to try map aggregates: 453. type Map_Type is private 454. with Aggregate => (Empty => Empty_Map, 455. Add_Named => Add_To_Map); 456. 457. procedure Add_To_Map (M : in out Map_Type; Key : in Integer; Value : in String); 458. 459. Empty_Map : constant Map_Type; ... -- End of example code 482. private ... 488. type Map_Type is array (1..10) of String (1..10); 489. 490. procedure Add_To_Map (M : in out Map_Type; Key : in Integer; Value : in String) is null; 491. Empty_Map : constant Map_Type := (1..10 => (1..10 => ' ')); GNAT 12 reports: aarm_202x_ch04.adb:491:40: error: container aggregate must use [], not () aarm_202x_ch04.adb:491:42: error: choice must be static The first error seems to say that even Map_Type full view is known in the private part I can't use assignment with genuine array aggregates. It is a legal feature or GNAT is puzzled? Is there an other mean to assign array aggregates? I can't really figure out the meaning of the second error. Any idea? Thanks Pascal.