From: Simon Wright <simon@pushface.org>
Subject: Re: ANN: Adare_net Ada network lib
Date: Fri, 01 Oct 2021 20:11:27 +0100 [thread overview]
Message-ID: <lytui0a7c0.fsf@pushface.org> (raw)
In-Reply-To: 61574676$0$6485$426a74cc@news.free.fr
DrPi <314@drpi.fr> writes:
> A subprogram returning content read from the network can't be pure. Or
> there is something I have not understood about the Pure aspect.
ARM 10.1.1(18)[1] says
"[...] the implementation may omit a call on such a subprogram and
simply reuse the results produced by an earlier call on the same
subprogram, provided that [...]. This permission applies even if the
subprogram produces other side effects when called."
[1] http://www.ada-auth.org/standards/rm12_w_tc1/html/RM-10-2-1.html#p18
next prev parent reply other threads:[~2021-10-01 19:11 UTC|newest]
Thread overview: 17+ messages / expand[flat|nested] mbox.gz Atom feed top
2021-09-05 3:54 ANN: Adare_net Ada network lib 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
2021-09-30 20:10 ` Daniel Norte Moraes
2021-10-01 17:33 ` DrPi
2021-10-01 19:11 ` Simon Wright [this message]
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