comp.lang.ada
 help / color / mirror / Atom feed
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

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