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

[Mark Brown]

On 29-Nov-2007, Julien Fischer <juliensf at csse.unimelb.edu.au> wrote:
>
> 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.

Just done it.  ;-)

Cheers,
Mark.

--------------------------------------------------------------------------
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
--------------------------------------------------------------------------