[m-dev.] trivial diff: fix metavariables in reference manual

[Simon Taylor]

> 
> On 07-Jan-2000, Simon Taylor <stayl at cs.mu.OZ.AU> wrote:
> > 
> > doc/reference_manual.texi:
> > 	Fix meta-variables in the paragraph describing
> > 	the `X `OP` Y' syntax.
> ...
> >  accents (backquotes).  Any variable or name may
> >  be used as an operator in this way.  If @var{fun} is a variable or name,
> > -then a term of the form @code{x `fun` y} is equivalent to 
> > - at code{fun(x,y)}.  The operator is treated as having the highest precedence
> > -possible and is left associative.
> > +then a term of the form @code{x `@var{fun}` y} is equivalent to 
> > + at code{@var{fun}(x,y)}.  The operator is treated as having the highest
> > +precedence possible and is left associative.
> 
> Why do you treat `fun' as a meta-variable but not `x' or `y'?

Index: reference_manual.texi
===================================================================
RCS file: /home/staff/zs/imp/mercury/doc/reference_manual.texi,v
retrieving revision 1.165
diff -u -u -r1.165 reference_manual.texi
--- reference_manual.texi	2000/01/07 03:47:15	1.165
+++ reference_manual.texi	2000/01/08 23:09:15
@@ -326,9 +326,9 @@
 Operators can also be formed by enclosing an variable or name between grave
 accents (backquotes).  Any variable or name may
 be used as an operator in this way.  If @var{fun} is a variable or name,
-then a term of the form @code{x `@var{fun}` y} is equivalent to 
- at code{@var{fun}(x,y)}.  The operator is treated as having the highest
-precedence possible and is left associative.
+then a term of the form @code{@var{X} `@var{fun}` @var{Y}} is equivalent to 
+ at code{@var{fun}(@var{X}, @var{Y})}.  The operator is treated as having the
+highest precedence possible and is left associative.
 
 A higher-order term is a variable followed without any intervening
 whitespace by an open parenthesis (i.e. an open_ct token),

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