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=-2.9 required=3.0 tests=BAYES_00,NICE_REPLY_A autolearn=ham autolearn_force=no version=3.4.6 Path: eternal-september.org!reader02.eternal-september.org!news.gegeweb.eu!gegeweb.org!usenet-fr.net!feeder1-2.proxad.net!proxad.net!feeder1-1.proxad.net!cleanfeed1-a.proxad.net!nnrp4-2.free.fr!not-for-mail Subject: Re: ANN: Adare_net Ada network lib Newsgroups: comp.lang.ada References: <3b6f0a2d-f3ba-45c8-9710-54d9edcf3fddn@googlegroups.com> <614502fd$0$1362$426a74cc@news.free.fr> From: DrPi <314@drpi.fr> Date: Thu, 30 Sep 2021 14:24:30 +0200 User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:78.0) Gecko/20100101 Thunderbird/78.14.0 MIME-Version: 1.0 In-Reply-To: Content-Type: text/plain; charset=utf-8; format=flowed Content-Language: en-US Content-Transfer-Encoding: 8bit Message-ID: <6155ac7f$0$6454$426a34cc@news.free.fr> Organization: Guest of ProXad - France NNTP-Posting-Date: 30 Sep 2021 14:24:31 CEST NNTP-Posting-Host: 82.65.30.55 X-Trace: 1633004671 news-4.free.fr 6454 82.65.30.55:62200 X-Complaints-To: abuse@proxad.net Xref: reader02.eternal-september.org comp.lang.ada:62896 List-Id: Le 27/09/2021 à 06:32, Daniel Norte Moraes a écrit : > Em quarta-feira, 22 de setembro de 2021 às 08:07:06 UTC-3, joak...@kth.se escreveu: >> 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 the GNAT compiler check for example that there are no global variables used in 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 and 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 > > Really? They _are_ Pure. > I used linters extensively to result in this. one of these linters made hard use o gnat and gprbuild as his backend. > Remember this is target Ada 2012 (update 2016) and beyond => there is > no guarantee of operation for Ada versions earlier than Ada2012. In a Pure package, shouldn't the subprograms also be Pure ? > > for now Adare_Net support: > MSwindows and Linux. > > was tested in: > Mswindows => starting amd64 windows seven sp1 + msys2 gcc-10.3 gnat-10.3 gprbuild-2021 > Linux => amd64 gcc-11.1+ gnat-11.1+ gprbuild-2021. > > 1o.) We need as many volunteers as possible to testing Adare_Net on as many > operating systems as possible and reporting his/her result to us. > currently linux and mswindows are the targets. > > Very Very Very Thanks! > Enjoy!!! > > > >