Re: and then... (a curiosity)

[Adam Beneschan <adam@irvine.com>]

On Aug 30, 2:28 pm, Maciej Sobczak <see.my.homep...@gmail.com> 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.

I don't think the example is bad at all, but the comment might be
ambiguous.  I understood Samuel's point to be that the function logs
to the network if possible, and it logs to disk if possible---ideally
it should log to both places, but we're hoping it logs to at least
one.  If you use "or else" it will never log to both.  That apparently
isn't what is desired.

                                -- Adam