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-65-14.ec2.internal X-Spam-Level: X-Spam-Status: No, score=-1.9 required=3.0 tests=BAYES_00,T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.6 Path: eternal-september.org!reader01.eternal-september.org!aioe.org!epJzlJsZWlp1WuFmYLlBpQ.user.46.165.242.91.POSTED!not-for-mail From: "Dmitry A. Kazakov" Newsgroups: comp.lang.ada Subject: Re: Is this an error in compiler Date: Sun, 11 Sep 2022 19:18:24 +0200 Organization: Aioe.org NNTP Server Message-ID: References: <4eecf346-667a-4dee-80b2-c3597b0f6fa7n@googlegroups.com> Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Injection-Info: gioia.aioe.org; logging-data="40898"; posting-host="epJzlJsZWlp1WuFmYLlBpQ.user.gioia.aioe.org"; mail-complaints-to="abuse@aioe.org"; User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101 Thunderbird/91.13.0 X-Notice: Filtered by postfilter v. 0.9.2 Content-Language: en-US Xref: reader01.eternal-september.org comp.lang.ada:64323 List-Id: On 2022-09-11 18:47, reinert wrote: > Could the result of > > if function1 and function2 then .... > > depend on the order of evaluation ( in some rare situations when f.eks. function2 affects the outcome from function1)? The order is only one half of the problem. Another one is eager evaluation. Both function1 and function2 are guaranteed to be evaluated in absence of exceptions. Short-circuit operators are meant to enforce both the order of evaluation and laziness of the second term: if function1 and then function2 then .... -- Regards, Dmitry A. Kazakov http://www.dmitry-kazakov.de