I have applied 0002 and 0004, which are the straightforward ones.
I decided not to pursue 0003 because I think a much better idea is to
remove the inclusion of tupconvert.h in execnodes.h.
Here's 0001 again. I mentioned a possible move of a few instrumentation
structs from elsewhere into the new file, just so that they're all
together in one place. The new 0002 here does that, but I'm feeling
quite unsure about it.
--
Álvaro Herrera Breisgau, Deutschland — https://www.EnterpriseDB.com/
"Uno puede defenderse de los ataques; contra los elogios se esta indefenso"