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=-0.0 required=3.0 tests=BAYES_40,FREEMAIL_FROM,
	T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.6
X-Received: by 2002:ac8:5c85:0:b0:3de:b5fa:dbad with SMTP id r5-20020ac85c85000000b003deb5fadbadmr1877071qta.5.1680974836856;
        Sat, 08 Apr 2023 10:27:16 -0700 (PDT)
X-Received: by 2002:a05:690c:31b:b0:54c:15ad:11e4 with SMTP id
 bg27-20020a05690c031b00b0054c15ad11e4mr3879043ywb.0.1680974836635; Sat, 08
 Apr 2023 10:27:16 -0700 (PDT)
Path: eternal-september.org!feeder.eternal-september.org!usenet.blueworldhosting.com!diablo1.usenet.blueworldhosting.com!peer02.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Sat, 8 Apr 2023 10:27:16 -0700 (PDT)
In-Reply-To: <ly7cumpbg4.fsf@pushface.org>
Injection-Info: google-groups.googlegroups.com; posting-host=80.117.9.16; posting-account=9fwclgkAAAD6oQ5usUYhee1l39geVY99
NNTP-Posting-Host: 80.117.9.16
References: <0c555ce7-0b2e-49f1-8930-c4f4796793e4n@googlegroups.com> <ly7cumpbg4.fsf@pushface.org>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <9c75e0f1-d977-40a3-b8c4-64751c6e0a39n@googlegroups.com>
Subject: Re: Contracts in generic formal subprogram
From: mockturtle <framefritti@gmail.com>
Injection-Date: Sat, 08 Apr 2023 17:27:16 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 1408
Xref: feeder.eternal-september.org comp.lang.ada:65083
List-Id: <comp.lang.ada>

On Saturday, April 8, 2023 at 6:48:14=E2=80=AFPM UTC+2, Simon Wright wrote:
> GCC 12.2.0 accepts this code with -gnat2022.

True!  Cool...  In my opinion, contracts are among the coolest (and maybe m=
ore exclusive) features of Ada