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 autolearn=ham
	autolearn_force=no version=3.4.6
Path: eternal-september.org!reader02.eternal-september.org!aioe.org!RKN7TKnHC01q0gdg6EhkbQ.user.46.165.242.75.POSTED!not-for-mail
From: Simon Wright <simon@pushface.org>
Newsgroups: comp.lang.ada
Subject: Re: ANN: Adare_net Ada network lib
Date: Fri, 01 Oct 2021 20:11:27 +0100
Organization: Aioe.org NNTP Server
Message-ID: <lytui0a7c0.fsf@pushface.org>
References: <3b6f0a2d-f3ba-45c8-9710-54d9edcf3fddn@googlegroups.com>
	<614502fd$0$1362$426a74cc@news.free.fr>
	<f4c9bac9-e745-410e-b98b-39785f7e46ecn@googlegroups.com>
	<b1650e4c-90c6-4c75-8ee0-d7760f573320n@googlegroups.com>
	<cb283478-8b61-4270-919e-f7b224ad4784n@googlegroups.com>
	<fbe6d779-989a-4423-9e40-3bbeb2c3b43en@googlegroups.com>
	<6155ac7f$0$6454$426a34cc@news.free.fr>
	<3563a845-85c0-4af1-a569-dab944511e93n@googlegroups.com>
	<61574676$0$6485$426a74cc@news.free.fr>
Mime-Version: 1.0
Content-Type: text/plain
Injection-Info: gioia.aioe.org; logging-data="55170"; posting-host="RKN7TKnHC01q0gdg6EhkbQ.user.gioia.aioe.org"; mail-complaints-to="abuse@aioe.org";
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.2 (darwin)
X-Notice: Filtered by postfilter v. 0.9.2
Cancel-Lock: sha1:Xm4tkryRL5hkW1tGiZ+SNbhIj1w=
Xref: reader02.eternal-september.org comp.lang.ada:62919
List-Id: <comp.lang.ada>

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