Andreas Pflug <pgadmin@pse-consulting.de> writes:
> Now the patch is *really* appended :-)
And rejected. You cannot assume that an operator is commutative or
associative just because it has a name you think ought to be.
(For a counter-example, it's well known that floating-point addition
is not associative.)
More: if the tree structure for ops of equal precedence looks like
a + (b + c), then it's a near certainty that the user wrote those
parentheses. Why would you think that removing them is pretty-printing?
regards, tom lane