[m-rev.] for review: user-defined operator tables

[Simon Taylor]

On 06-Nov-2001, Peter Schachte <schachte at cs.mu.OZ.AU> wrote:
> On Tue, Nov 06, 2001 at 07:23:51PM +1100, Simon Taylor wrote:
> > On 06-Nov-2001, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
> > > > +* We've fixed a bug in the Mercury Language Reference Manual.
> > > > +  Operator terms have a higher priority than `^'.
> > > 
> > > s/higher/lower/ ??
> > 
> > No. If the Mercury documentation is going to be inconsistent with the
> > usual description of precedence in the non-Prolog world, it should at
> > least be consistently inconsistent.
> 
> You could always use unambiguous words like "bind tighter" or "tighter
> precedence".

--- reference_manual.texi	2001/11/06 11:22:18	1.1
+++ reference_manual.texi	2001/11/06 12:39:08
@@ -369,8 +369,8 @@
 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{@var{X} `@var{fun}` @var{Y}} is equivalent to 
- at code{@var{fun}(@var{X}, @var{Y})}. The operator is left associative,
-with a lower priority than every operator other than @samp{^}
+ at code{@var{fun}(@var{X}, @var{Y})}. The operator is left associative
+and binds more tightly than every operator other than @samp{^}
 (@pxref{Builtin Operators}).
 
 A parenthesized term is just an open parenthesis
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------