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:bac2:: with SMTP id k185mr23077814qkf.685.1640898934817; Thu, 30 Dec 2021 13:15:34 -0800 (PST) X-Received: by 2002:a25:8e0d:: with SMTP id p13mr30237011ybl.372.1640898934638; Thu, 30 Dec 2021 13:15:34 -0800 (PST) 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 Dec 2021 13:15:34 -0800 (PST) In-Reply-To: <61574676$0$6485$426a74cc@news.free.fr> Injection-Info: google-groups.googlegroups.com; posting-host=2804:14c:4c1:8775:352d:ffd4:3db5:6282; posting-account=wgmHdgoAAAA-F7JItPEZjeXqFc0KdzEQ NNTP-Posting-Host: 2804:14c:4c1:8775:352d:ffd4:3db5:6282 References: <3b6f0a2d-f3ba-45c8-9710-54d9edcf3fddn@googlegroups.com> <614502fd$0$1362$426a74cc@news.free.fr> <6155ac7f$0$6454$426a34cc@news.free.fr> <3563a845-85c0-4af1-a569-dab944511e93n@googlegroups.com> <61574676$0$6485$426a74cc@news.free.fr> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: Subject: Re: ANN: Adare_net Ada network lib From: Daniel Norte Moraes Injection-Date: Thu, 30 Dec 2021 21:15:34 +0000 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Xref: reader02.eternal-september.org comp.lang.ada:63313 List-Id: Em sexta-feira, 1 de outubro de 2021 =C3=A0s 14:33:45 UTC-3, DrPi escreveu: > Le 30/09/2021 =C3=A0 22:10, Daniel Norte Moraes a =C3=A9crit :=20 > > Em quinta-feira, 30 de setembro de 2021 =C3=A0s 09:24:34 UTC-3, DrPi es= creveu:=20 > >> 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 mak= es the GNAT compiler check for example that there are no global variables u= sed in the packages but other than that, they (I didn't check all the packa= ges) are not Pure. The pragma Pure worked as expected in Ada83 but the mean= ing 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 ma= de 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.=20 > >> In a Pure package, shouldn't the subprograms also be Pure ?=20 > >>>=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= -10.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 a= s 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 > >>>=20 > >=20 > > Well, :-)=20 > >=20 > > Why ?=20 > > The functions dont are pure ? why?=20 > > > A subprogram returning content read from the network can't be pure. Or=20 > there is something I have not understood about the Pure aspect. > > Maybe we need fix the ARM 2012+=20 > >=20 > > The ARM2012 allowed it. gprbuild and gnat just follow ARM :-).=20 > >=20 > > 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 moti= ve for almost all libs and apps ignore Ada categorizations.=20 > >=20 > > Then, no one yet say if the lib work... only about pure... why? we need= more than a 'freestyle' opinions.=20 > > > My intent is to try Adare_Net. So I started by taking a look at the=20 > sources and the first thing I noticed was the Pure aspect of the=20 > packages. As I'm far from a Ada expert, and I like to understand things,= =20 > I asked here about it.=20 >=20 > Is there a documentation somewhere ? We will create a pdf with the api, after upgrading to ada202x and adding s= upport for more operating systems, this includes solving reported=20 issues and adding suggestions from all of you, 'pure' and 'global' and 'non= blocking =3D> false' and etc included. While this, You can use the programs in 'exemple folder'. it contains worki= ng client and server src and programs. mostly time Its are in 'pairs' of fi= lenames. Thanks, Best Whishes, Dani.