[m-rev.] For review: add reference in "Promising purity" section

[Mark Brown]

On 25-May-2007, Ralph Becket <rafe at csse.unimelb.edu.au> wrote:
> How about this?
> 
> Note that the @samp{promise_pure}, @samp{promise_semipure}, and
> @samp{promise_impure} casts described in @ref{Goals} may be used to
> promise purity at the finer level of goals within clauses.

That's okay, although I agree with Zoltan about using "scopes" instead.

Cheers,
Mark.

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