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

Ralph Becket rafe at cs.mu.OZ.AU
Thu Nov 3 15:57:35 AEDT 2005


Fergus Henderson, Thursday,  3 November 2005:
> I don't think that should be the first thing in the list.
> I'd put it towards the end of that list.  The list doesn't need
> to be strictly in order of importance but in general it's probably
> better if additions of new features (e.g. functional dependencies)
> get listed before changes that restrict the use of the language
> or that remove old features.

Fixed.

> HIGHLIGHTS
> ...
> * To ensure soundness, goals in negated contexts using non-local variables
>   with dynamic modes (inst "any") must now be marked as impure.
> 
> DETAILED SUMMARY
> ...
> * To ensure soundness, goals in negated contexts using non-local variables
>   with dynamic modes (inst "any") must now be marked as impure.
> [...]

Accepted verbatim, for which many thanks!
--------------------------------------------------------------------------
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