[m-rev.] For review: make impure goals with inst any vars in negated contexts

[Julien Fischer]

On Fri, 28 Oct 2005, Ralph Becket wrote:

> Estimated hours taken: 10
> Branches: main
>
> Require impurity annotations on goals in negated contexts or lambdas
> containing non-local inst any variables.  Such goals can violate referential
> transparency, even though they might otherwise be considered pure.
>

That looks fine.

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