[m-dev.] promise_equivalent_solutions

[Ralph Becket]

I have the following problem:

:- pred p(t::ia) is semidet.

p(X) :-
	promise_equivalent_solutions [X] q(X).

:- pred q(t::ia) is nondet.

q(X) :- ...

I get a complaint from the compiler that X should not be in the
promise_equivalent_solutions list.  If I remove the promise, I
get a complaint from the compiler saying that p can have multiple
solutions, of course!

Is there a semantic problem with allowing (any >> any) vars to appear
in promise_equivalent_solutions lists?  If not, I'll set about making
the change.

-- Ralph
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at csse.unimelb.edu.au
Administrative Queries: owner-mercury-developers at csse.unimelb.edu.au
Subscriptions:          mercury-developers-request at csse.unimelb.edu.au
--------------------------------------------------------------------------