I wrote:
> We do have some unresolved issues around how to let dump/restore
> control the interpretation of IS [NOT] DISTINCT FROM, cf
> https://www.postgresql.org/message-id/flat/ffefc172-a487-aa87-a0e7-472bf29735c8%40gmail.com
> but I don't think this idea is helping with that at all.
BTW, taking a step back and viewing this suggestion as "it'd be nice
to have *some* shorter notation than IS [NOT] DISTINCT FROM", maybe
there's a way to unify that desire with the dump/restore fix. What
we'd really need to fix the dump/restore problem, AFAICS, is to name
the underlying equality operator --- potentially with a schema
qualification --- but then have some notation that says "handle NULLs
like IS [NOT] DISTINCT FROM does". So instead of
x IS NOT DISTINCT FROM y
I'm vaguely imagining
x = {magic} y
where unlike Eugen's suggestion, "=" is the real name of the underlying
comparison operator. For dump/restore this could be spelled verbosely
as
x OPERATOR(someplace.=) {magic} y
The hard part is to figure out some {magic} annotation that is both
short and unambiguous. We have to cover the IS DISTINCT variant, too.
regards, tom lane