next up previous contents
Next: Prefix Operators Up: Associativity Notation Previous: Infix Operators

The Prefix Case

Here are a number of unary, prefix operators:

We regard a prefix operator as having only a right hand subtree. We must decide which of the above may be right associative. That is, which of the following make sense:

+ + 1

\+ \+ happy(jim)

:- :- a

Of these possibilities, we only accept SPM_quot"/1 as right associative.

Paul Brna
Mon May 24 20:14:48 BST 1999