For review: compiler support for parallel conjunction

[Mark Wielaard]

Fergus Henderson <fjh at cs.mu.oz.au> writes:

>Hmm, what about examples like

>	:- pred p(out) is det.
>	p(X) :-
>		(
>			X = a,
>			...
>			error("blah")
>		&
>			X = b,
>			...
>		).
>?

What is this code supposed to do?
The code in the first part is erroneous, wouldn't that suggest that the
predicate p/1 would also be erroneous? And since it is erroneous wouldn't it be enough to just execute the first part? And what if the code in the second 
part is failure, would you still bother executing anything?

Cheers,

Mark!
-- 
   The message provided above is on an "as is" basis, and Mark Wielaard
   has no obligation to provide maintenance, support, future access,
   enhancements, or modifications.