[m-rev.] For review: change the way we handle inst any non-locals in negated contexts (again)

Ralph Becket rafe at cs.mu.OZ.AU
Fri Dec 16 12:34:54 AEDT 2005


Mark Brown, Thursday, 15 December 2005:
> 
> Another alternative is a set of scopes which allow implicit purity, but which
> also assert what the purity of the scope actually is.  That is, these scopes
> would be "pure_implicit", "semipure_implicit" and "impure_implicit", and
> they would be similar to the "promise_*_implicit" scopes that have been
> removed, except that they wouldn't be making any promises.  Come to think of
> it, I like these scopes better, but I'd be happier if I could think of
> better names for them.

`implicitly_pure' etc.

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



More information about the reviews mailing list