[mercury-users] How do bool.or_list and bool.and_list behave for empty lists?

[Julien Fischer]

On Thu, 29 Nov 2007, Nicholas Nethercote wrote:

> How do bool.or_list and bool.and_list behave for empty lists?  The docs don't 
> say.

empty or list is an empty disjucntion, so no (false).
empty and list is an empty conjunction, so yes (true).

> Looking at the code, and_list gives 'yes', or_list gives 'no', which is what 
> I guessed, but it would be nice if it were documented.

I'll add something to that effect.

Cheers,
Julien.
--------------------------------------------------------------------------
mercury-users mailing list
Post messages to:       mercury-users at csse.unimelb.edu.au
Administrative Queries: owner-mercury-users at csse.unimelb.edu.au
Subscriptions:          mercury-users-request at csse.unimelb.edu.au
--------------------------------------------------------------------------