[mercury-users] Mutual Exclusivity & Exhaustiveness

[Lars Yencken]

> We definitely want to disallow examples like:
> 
> :- promise_exclusive(X::ground, Y::ground) is det :-
> 		( foo(X)
> 		; bar(X, Y)
> 		; baz(Y)
> 		).

If there was a case where this was useful, why would we definitely want to 
disallow it, aside from simplicity's sake?
--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------