[m-dev.] for review: add `promise_only_solution_io'.

[Michael Day]

> 	Add `promise_only_solution_io'.
> 	This is like `promise_only_solution' except that
> 	it works for procedures that do I/O.

Wow, quick work :)

> +% A call to `promise_only_solution_io(P, X, IO0, IO)' constitutes
> +% a promise on the part of the caller that for the given IO0,
> +% there is only one value of `X' and `IO0' for which P(X, IO0, IO) is true.

Should that be "there is only one value of `X' and of `IO' for which..."?

Michael

--------------------------------------------------------------------------
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
--------------------------------------------------------------------------