[m-dev.] for review: add operators to reference manual

[David Glen JEFFERY]

On 19-Sep-2000, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
> >  other than a name or an operator term, followed without
> > -any intervening whitespace by an open parenthesis (i.e. an open_ct token),
> > -a sequence of argument terms separated by commas, and a close
> > +any intervening whitespace by an open parenthesis (i.e. an open_ct token), a sequence of argument terms separated by commas, and a close
> >  parenthesis.  A higher-order term is equivalent to a simple compound term
> >  whose functor is the empty name, and whose arguments are the 
> >  closure term followed by the argument terms of the higher-order term.
> 
> That change looks like an accident.

Indeed. Fixed.

> > +The ``Specifier'' field indicates what structure terms 
> > +constructed with an operator are allowed to take. 
> > +``f'' representes the operators and ``x'' and ``y'' represent arguments. 
> 
> s/representes/represents/
> s/operators/operator/

Fixed.

> > +``x'' represents an argument whose priority must be 
> > +strictly lower that that of the operator.
> > +``y'' represents an argument whose priority is 
> > +lower or equal to that of the operator.
> 
> I suggest giving a couple of examples here, e.g.
> 
> 	For example, ``yfx'' indicates a left-associative infix
> 	operator, while ``xfy'' indicates a right-associative infix
> 	operator.

I have added the sentence you suggested at the end of that paragraph.

> Otherwise that looks good.

OK. I will commit now.


dgj
-- 
David Jeffery (dgj at cs.mu.oz.au) | If your thesis is utterly vacuous
PhD student,                    | Use first-order predicate calculus.
Dept. of Comp. Sci. & Soft. Eng.|     With sufficient formality
The University of Melbourne     |     The sheerist banality
Australia                       | Will be hailed by the critics: "Miraculous!"
                                |     -- Anon.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------