[m-dev.] Re: For review: compiler support for parallel conjunction

Fergus Henderson fjh at cs.mu.oz.au
Tue Oct 21 02:22:25 AEST 1997


Mark Wielaard, you wrote:
> 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?

Break the mode checker ;-)

-- 
Fergus Henderson <fjh at cs.mu.oz.au>   |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>   |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3         |     -- the last words of T. S. Garp.



More information about the developers mailing list