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

[Ralph Becket]

Zoltan Somogyi, Tuesday, 26 April 2005:
> 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.

I've changed that whole description to

	@item @code{promise_impure @var{Goal}}
	A purity cast.
	@var{Goal} must be a valid goal.
	This goal instructs the compiler to treat @var{Goal} as though
	it were impure, regardless of its actual purity.

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