> > > - add a new boolean to pg_operator to allow us to define which
> > > operators offer true equality ...
> >
> > This would be useful for other purposes too, as we keep coming up
> > against "what's the equality operator for this datatype" problems.
> > However, the restriction to "true" equality, such that we can assume
x
> > = y implies f(x) = f(y) for every immutable function f on the
datatype
Maybe we could have a tri (or more) state flag for the equality
operators.
' ' .. not an equality op
'e' .. equality
's' .. strict equality (op only true iff the binary representation is
equal)
Andreas