On Saturday, July 7, 2012, Tom Lane wrote: > > If we think that operators outside of extensions will be an infrequent > special case, what about just dumping all of them into a single file > named "operators"? And similarly for casts? > > regards, tom lane >
+1