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-74-118.ec2.internal X-Spam-Level: X-Spam-Status: No, score=-0.0 required=3.0 tests=BAYES_40 autolearn=ham autolearn_force=no version=3.4.6 X-Received: by 2002:a05:6214:706:: with SMTP id b6mr35992105qvz.29.1632308825727; Wed, 22 Sep 2021 04:07:05 -0700 (PDT) X-Received: by 2002:a25:d90e:: with SMTP id q14mr17472686ybg.143.1632308825598; Wed, 22 Sep 2021 04:07:05 -0700 (PDT) Path: eternal-september.org!reader02.eternal-september.org!weretis.net!feeder8.news.weretis.net!proxad.net!feeder1-2.proxad.net!209.85.160.216.MISMATCH!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Wed, 22 Sep 2021 04:07:05 -0700 (PDT) In-Reply-To: Injection-Info: google-groups.googlegroups.com; posting-host=136.163.208.2; posting-account=HFCrOQoAAABZD_f-UUbYHm3lJDIrh-UX NNTP-Posting-Host: 136.163.208.2 References: <3b6f0a2d-f3ba-45c8-9710-54d9edcf3fddn@googlegroups.com> <614502fd$0$1362$426a74cc@news.free.fr> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: Subject: Re: ANN: Adare_net Ada network lib From: Joakim Strandberg Injection-Date: Wed, 22 Sep 2021 11:07:05 +0000 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Xref: reader02.eternal-september.org comp.lang.ada:62816 List-Id: onsdag 22 september 2021 kl. 11:16:13 UTC+2 skrev AdaMagica: > > I agree with you Nicolas, they should not be declared Pure. It makes th= e GNAT compiler check for example that there are no global variables used i= n the packages but other than that, they (I didn't check all the packages) = are not Pure. The pragma Pure worked as expected in Ada83 but the meaning a= nd utility of it disappeared with the Ada95 standard. > There is no pragma Pure in Ada 83. Thanks for clearing that up AdaMagica, I wasn't aware. Best regards, Joakim