[m-rev.] Add `:- mutable' declaration to the language.

Ralph Becket rafe at cs.mu.OZ.AU
Thu Sep 1 18:00:07 AEST 2005


Julien Fischer, Thursday,  1 September 2005:
> 
> We could a `pure' attribute to the :- mutable declarations.  With
> this attribute set the compiler would generate a, presmuably divine,
> pairof access predicates.

I will add this as a separate change.
--------------------------------------------------------------------------
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