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=-3.2 required=3.0 tests=BAYES_00,NICE_REPLY_A, T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.6 Path: eternal-september.org!reader01.eternal-september.org!.POSTED!not-for-mail From: "Jeffrey R.Carter" Newsgroups: comp.lang.ada Subject: Re: Is this an error in compiler Date: Sun, 11 Sep 2022 17:47:21 +0200 Organization: A noiseless patient Spider Message-ID: References: <4eecf346-667a-4dee-80b2-c3597b0f6fa7n@googlegroups.com> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Injection-Date: Sun, 11 Sep 2022 15:47:21 -0000 (UTC) Injection-Info: reader01.eternal-september.org; posting-host="179e3da0ebb938b876b475b0690662e1"; logging-data="2092858"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/6pf3oWVEhZrrION3mPrHfdDEyUI9oy2A=" User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:91.0) Gecko/20100101 Thunderbird/91.11.0 Cancel-Lock: sha1:3PqJU5KGNP3L4fc4nJdh6+zHNn0= Content-Language: en-US In-Reply-To: Xref: reader01.eternal-september.org comp.lang.ada:64321 List-Id: On 2022-09-11 16:44, Niklas Holsti wrote: > > I don't find these "raise .. when" or "return .. when" constructs in the Ada > 2022 RM draft, so I don't think the ARG has adopted them (yet). I suspect they > are GNAT extensions, as is the ability to make a subtype of String with a fixed > lower index bound of 1 but an unconstrained upper bound (1 .. <>), as also done > in the OP's code. Sorry, I didn't realize AdaCore was distributing GNAT for non-Ada. > I would not use these non-standard GNAT extensions, as long as GNAT is not the > only Ada compiler in the world, which it fortunately isn't. I won't even use the Ada-2X features until it's supported by multiple compilers. -- Jeff Carter "Sheriff murdered, crops burned, stores looted, people stampeded, and cattle raped." Blazing Saddles 35