From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-0.3 required=5.0 tests=BAYES_00,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!mx02.eternal-september.org!.POSTED!not-for-mail
From: "G.B." <bauhaus@futureapps.invalid>
Newsgroups: comp.lang.ada
Subject: Re: Everything You Know Is Wrong
Date: Tue, 29 Dec 2015 19:09:53 +0100
Organization: A noiseless patient Spider
Message-ID: <n5ui4l$gas$1@dont-email.me>
References: <n5nbml$v32$1@dont-email.me> <n5r0su$lts$1@dont-email.me>
 <n5r5sb$sgs$1@speranza.aioe.org>
 <alpine.DEB.2.11.1512281721030.14144@Lydia.insomnia247.nl>
 <n5rrjq$gg3$1@speranza.aioe.org>
 <alpine.DEB.2.11.1512281938090.14144@Lydia.insomnia247.nl>
 <n5s6nj$ch8$1@speranza.aioe.org> <n5tre9$t7c$1@dont-email.me>
 <n5tuo8$1cn$1@speranza.aioe.org> <n5u2uf$nrc$1@dont-email.me>
 <n5u4kl$hob$1@speranza.aioe.org> <n5udss$vh2$1@dont-email.me>
 <n5ugbf$fqr$1@speranza.aioe.org> <n5uh6q$chh$1@dont-email.me>
Reply-To: nonlegitur@futureapps.de
Mime-Version: 1.0
Content-Type: text/plain; charset=windows-1252; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Tue, 29 Dec 2015 18:07:17 -0000 (UTC)
Injection-Info: mx02.eternal-september.org;
 posting-host="b96887e80893c84a90c3007226ca0d1c";
	logging-data="16732"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX1/o1NUMOQLSsuJipKV6iiLmiBYM9/HAtOw="
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.10; rv:38.0)
 Gecko/20100101 Thunderbird/38.5.0
In-Reply-To: <n5uh6q$chh$1@dont-email.me>
Cancel-Lock: sha1:7/XpPVKdHIHkbAQbHFiRBWZvrT8=
Xref: news.eternal-september.org comp.lang.ada:28928
Date: 2015-12-29T19:09:53+01:00
List-Id: <comp.lang.ada>

On 29.12.15 18:53, G.B. wrote:

> if F1 and F2 are from a Pure package, is the compiler allowed to
> ignore side effects because the programmer specified Pure? I think
> that follows.

(It doesn't)

Better: If T's (automatic) initialization, if any, has side effects,
then the program is either unsuitable, or, more like Ada, the
programmer needs to specify "I know what I'm doing". (For example,
side effects being innocuous if repeated.)