[m-rev.] Extended the promise_<purity> scopes

[Zoltan Somogyi]

On 26-Apr-2005, Ralph Becket <rafe at cs.mu.OZ.AU> wrote:
> + at item @code{promise_impure @var{Goal}}
> +A purity cast.
> + at var{Goal} must be a valid goal.
> +This goal promises that @var{Goal} implements an impure interface,
> +even though it may not include impure components.

That looks weird unless you say

	"even though it may not include VISIBLY impure components."

The documentation and the new test cases are otherwise fine.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------