[m-rev.] for review: promise_equivalent_solution_sets

[Ralph Becket]

Zoltan Somogyi, Tuesday, 21 March 2006:
> For review by anyone. I am particularly looking for feedback on the
> documentation and on whether we should keep the error named
> nested_promise_eqv_solution_sets in det_report.m.

The documentation looks fine to me (I haven't looked too hard at the
implementation, however).

I don't think the nested_promise_eqv_solution_sets error should be an
error, instead of (possibly) a warning.  Is there a semantic problem
with nesting these kinds of goals?

-- Ralph
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------