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

[Zoltan Somogyi]

On 25-May-2007, Mark Brown <mark at csse.unimelb.edu.au> wrote:
> It is misleading to suggest they are redundant.  The casts can't cover
> headvar unifications, so the pragmas are the only way to reach these at the
> moment.

But you can always move head unifications into the body.

I have more of an issue with calling these things "casts"; I think scope
would be a better term to use here.

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