Re: and then... (a curiosity)

I wondered why in Ada the "shortcut and" is "and then", while the
simple "and" has not a shortcut behaviour. My curiosity stems from
the fact that I am not able to envision any situation where the "non
shortcut" version would preferable, but I immagine that there was
some reason for this choice. Do anyone have any hint?

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;

Sam
--
Samuel Tardieu -- sam@xxxxxxxxxxx -- http://www.rfc1149.net/
.