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

[Ralph Becket]

Julien Fischer, Thursday,  1 September 2005:
> 
> On Thu, 1 Sep 2005, Ralph Becket wrote:
> 
> > Index: doc/reference_manual.texi
> > +
> > +A mutable variable can be declared in the implementation section of
> > +a module using the @samp{mutable} directive:
> > +
> s/can/is/

Fixed.

> > +This has the effect of constructing a new mutable variable with access
> > +predicates with the following signatures:
> > +
> 
> How about:
> 
> 	This constructs a new mutable variable with access predicates
> 	that have the following signatures.

Changed.

> > +access to the mutable need not be protected in parallel grades, and
> > + at samp{untrailed}, meaning that the effects of calls to
> > + at samp{set_varname/1} should not be undone on backtracking.
> > +
> You may wish to put a pointer to the discussion of thread_safe for
> foreign_procs here since it means the same thing and there is more
> detail provided there.

Added.

> > +C code in the same module can access the mutable variable using the name
> > + at samp{mutable_variable_varname}, which is a global variable with type
> > + at samp{MR_Word}.
> > +
> s/C code/Foreign code/ since we may one day implement these for the
> other backends.

Done.

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