[m-dev.] cc_multi bug

[Julien Fischer]

On Tue, 18 Jan 2005, Ralph Becket wrote:

> Ian MacLarty, Tuesday, 18 January 2005:
> > :- pred p(int::out) is cc_multi.
> >
> > p(1).
> > p(2).
> >
> > :- pred q(int::in, int::out) is cc_nondet.
> >
> > q(X, Y) :-
> > 	p(Y),
> > 	X > 0.
> >
> > However if I swap the goals in the conjunction in the body of q/2 around
> > it compiles fine.
> >
> > Is this a known issue or should I log a bug?
>
> Wellllll, it's a feature.
>
It may be worth mentioning this particular feature in the FAQ.

Cheers,
Julien.

--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------