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=-1.9 required=3.0 tests=BAYES_00,FREEMAIL_FROM autolearn=ham autolearn_force=no version=3.4.6 X-Received: by 2002:a37:a493:: with SMTP id n141mr6532104qke.27.1633032650475; Thu, 30 Sep 2021 13:10:50 -0700 (PDT) X-Received: by 2002:a25:3086:: with SMTP id w128mr1452512ybw.139.1633032650244; Thu, 30 Sep 2021 13:10:50 -0700 (PDT) Path: eternal-september.org!reader02.eternal-september.org!news.misty.com!border2.nntp.dca1.giganews.com!nntp.giganews.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Thu, 30 Sep 2021 13:10:50 -0700 (PDT) In-Reply-To: <6155ac7f$0$6454$426a34cc@news.free.fr> Injection-Info: google-groups.googlegroups.com; posting-host=2804:14c:4c1:b99c:d0e7:f14a:e6a0:841b; posting-account=wgmHdgoAAAA-F7JItPEZjeXqFc0KdzEQ NNTP-Posting-Host: 2804:14c:4c1:b99c:d0e7:f14a:e6a0:841b References: <3b6f0a2d-f3ba-45c8-9710-54d9edcf3fddn@googlegroups.com> <614502fd$0$1362$426a74cc@news.free.fr> <6155ac7f$0$6454$426a34cc@news.free.fr> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: <3563a845-85c0-4af1-a569-dab944511e93n@googlegroups.com> Subject: Re: ANN: Adare_net Ada network lib From: Daniel Norte Moraes Injection-Date: Thu, 30 Sep 2021 20:10:50 +0000 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Xref: reader02.eternal-september.org comp.lang.ada:62903 List-Id: Em quinta-feira, 30 de setembro de 2021 =C3=A0s 09:24:34 UTC-3, DrPi escrev= eu: > Le 27/09/2021 =C3=A0 06:32, Daniel Norte Moraes a =C3=A9crit :=20 > > Em quarta-feira, 22 de setembro de 2021 =C3=A0s 08:07:06 UTC-3, joak...= @kth.se escreveu:=20 > >> onsdag 22 september 2021 kl. 11:16:13 UTC+2 skrev AdaMagica:=20 > >>>> 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 use= d in the packages but other than that, they (I didn't check all the package= s) are not Pure. The pragma Pure worked as expected in Ada83 but the meanin= g and utility of it disappeared with the Ada95 standard.=20 > >>> There is no pragma Pure in Ada 83.=20 > >> Thanks for clearing that up AdaMagica, I wasn't aware.=20 > >>=20 > >> Best regards,=20 > >> Joakim=20 > >=20 > > Really? They _are_ Pure.=20 > > I used linters extensively to result in this. one of these linters made= hard use o gnat and gprbuild as his backend.=20 > > Remember this is target Ada 2012 (update 2016) and beyond =3D> there is= =20 > > no guarantee of operation for Ada versions earlier than Ada2012. > In a Pure package, shouldn't the subprograms also be Pure ? > >=20 > > for now Adare_Net support:=20 > > MSwindows and Linux.=20 > >=20 > > was tested in:=20 > > Mswindows =3D> starting amd64 windows seven sp1 + msys2 gcc-10.3 gnat-1= 0.3 gprbuild-2021=20 > > Linux =3D> amd64 gcc-11.1+ gnat-11.1+ gprbuild-2021.=20 > >=20 > > 1o.) We need as many volunteers as possible to testing Adare_Net on as = many=20 > > operating systems as possible and reporting his/her result to us.=20 > > currently linux and mswindows are the targets.=20 > >=20 > > Very Very Very Thanks!=20 > > Enjoy!!!=20 > >=20 > >=20 > >=20 > > Well, :-) Why ? The functions dont are pure ? why? Maybe we need fix the ARM 2012+ The ARM2012 allowed it. gprbuild and gnat just follow ARM :-). To made things as a lib be almost all pure (or yet preelaborate) there are = a hard and=20 time consuming way to study and test. This fact is itself the main motive f= or almost all libs and apps ignore Ada categorizations. Then, no one yet say if the lib work... only about pure... why? we need mor= e than a 'freestyle' opinions. For your use, just fork and make bether (ah and remove all Ada Categorizati= ons :-) =3D=3D=3D=3DX=3D=3D=3D=3D=3D