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

[Fergus Henderson]

On 19-Sep-2000, David Glen Jeffery <dgj at students.cs.mu.oz.au> wrote:
> Add the list of valid operators to the reference manual.
> 
> doc/reference_manual.texi:
>         Add a table of valid operators.
> library/ops.m:
>         Add a note indicating that reference_manual.texi needs to be kept
>         in sync with the operator table.
...
> +++ doc/reference_manual.texi	2000/09/19 03:53:09
> @@ -342,8 +344,7 @@
>  
>  A higher-order term is a ``closure'' term, which can be any term 
>  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.

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

> +``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.

Otherwise that looks good.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>  |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3        |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------