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=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,99e73f65ea2533b9
X-Google-Attributes: gid103376,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news1.google.com!news.glorb.com!newsfeed2.telusplanet.net!newsfeed.telus.net!edtnps82.POSTED!53ab2750!not-for-mail
Sender: blaak@METROID
Newsgroups: comp.lang.ada
Subject: Re: and then... (a curiosity)
References: 
 <18b41828-bda4-4484-8884-ad62ce1c831d@f36g2000hsa.googlegroups.com>
 <874p53bij6.fsf@willow.rfc1149.net>
 <94cc1ce3-59d1-41fa-9167-f3b60ddd2835@a1g2000hsb.googlegroups.com>
 <48ba564a$0$1074$9b4e6d93@newsspool3.arcor-online.net>
From: Ray Blaak <rAYblaaK@STRIPCAPStelus.net>
Message-ID: <uwshwvkhi.fsf@STRIPCAPStelus.net>
Organization: The Transcend
User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.1
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Date: Sun, 31 Aug 2008 23:21:48 GMT
NNTP-Posting-Host: 154.20.96.87
X-Trace: edtnps82 1220224908 154.20.96.87 (Sun, 31 Aug 2008 17:21:48 MDT)
NNTP-Posting-Date: Sun, 31 Aug 2008 17:21:48 MDT
Xref: g2news1.google.com comp.lang.ada:1850
Date: 2008-08-31T23:21:48+00:00
List-Id: <comp.lang.ada>

Georg Bauhaus <rm.tsoh.plus-bug.bauhaus@maps.futureapps.de> writes:
> Maciej Sobczak wrote:
> > On 29 Sie, 23:47, Samuel Tardieu <s...@rfc1149.net> wrote:
> > 
> >> Sometimes, you want to ensure that both sides of the boolean operator
> >> have been evaluated. Here is an example:
> >>
> >>   --  Send the message to the log and return True if it
> >>   --  has been logged at least at one place succesfully.
> >>
> >>   function Log (Message : String) return Boolean is
> >>   begin
> >>      return Log_To_Network (Message) or Log_To_Disk (Message);
> >>   end Log;
> > 
> > This is actually a bad example. It might use "or else" and still
> > retain the semantics as described in the comment above.
> 
> "At least one" of the logs should, I guess, mean to try both.
> I.e., the Log subprogram is not about its return value alone.
> "Or" achieves all of that (the semantics).
> 
> "Or else" might also establish a strict preference for the
> network log. "Or" should not.

This kind of confusion makes me prefer an unambiguous if-then-else statement.

-- 
Cheers,                                        The Rhythm is around me,
                                               The Rhythm has control.
Ray Blaak                                      The Rhythm is inside me,
rAYblaaK@STRIPCAPStelus.net                    The Rhythm has my soul.