[m-rev.] Section for the Languge Reference Manual

[Zoltan Somogyi]

On Fri, 14 Oct 2022 16:41:37 +1100, Peter Wang <novalazy at gmail.com> wrote:
> > + at noindent
> > +Mercury may reorder conjunctions,
> > +which is (probably) not what the user intended in this case.
> > +Furthermore,
> > +Mercury may optimize away the call to @samp{check_target/1} entirely,
> 
> Unnecessary comma (?)

I would keep those commas, both here, and later.

> >  There is another operational semantics of Mercury programs
> > -called the @dfn{strict commutative} operational semantics.
> > -This semantics is equivalent to the strict sequential operational semantics
> > +called the @dfn{strict commutative} semantics.
> > +This semantics is equivalent to the strict sequential semantics
> >  except that there is no requirement that
> >  function calls, conjunctions and disjunctions be executed left-to-right;
> >  they may be executed in any order, and may even be interleaved.
> > -Furthermore, the order may even be different
> > +Furthermore, the order may be different
> >  each time a particular goal is entered.
> 
> Or: may differ

Yes, "may differ" is better.

> Looks good to me.

Agreed.

Zoltan.