comp.lang.ada
 help / color / mirror / Atom feed
From: DrPi <314@drpi.fr>
Subject: Re: ANN: Adare_net Ada network lib
Date: Thu, 30 Sep 2021 14:24:30 +0200	[thread overview]
Message-ID: <6155ac7f$0$6454$426a34cc@news.free.fr> (raw)
In-Reply-To: <fbe6d779-989a-4423-9e40-3bbeb2c3b43en@googlegroups.com>

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!!!
> 
> 
> 
> 

  reply	other threads:[~2021-09-30 12:24 UTC|newest]

Thread overview: 17+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2021-09-05  3:54 Daniel Norte Moraes
2021-09-17 21:04 ` DrPi
2021-09-22  8:47   ` Joakim Strandberg
2021-09-22  9:16     ` AdaMagica
2021-09-22 11:07       ` Joakim Strandberg
2021-09-27  4:32         ` Daniel Norte Moraes
2021-09-30 12:24           ` DrPi [this message]
2021-09-30 20:10             ` Daniel Norte Moraes
2021-10-01 17:33               ` DrPi
2021-10-01 19:11                 ` Simon Wright
2021-10-12 16:00                 ` Shark8
2021-12-30 21:15                 ` Daniel Norte Moraes
2021-10-12 15:49             ` Shark8
2021-10-12 19:44               ` Egil H H
2021-12-30 21:30                 ` Daniel Norte Moraes
2021-09-28  4:52       ` Randy Brukardt
2021-12-30 20:56         ` Daniel Norte Moraes
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox