Horton

Re: partition -> partitioned

Michael Paquier <michael@paquier.xyz>

View thread View on postgr.es
From: Michael Paquier <michael@paquier.xyz>
To: Amit Langote <Langote_Amit_f8@lab.ntt.co.jp>
Cc: pgsql-hackers@lists.postgresql.org
Date: 2018-06-20T03:03:47Z
Lists: pgsql-hackers 
On Tue, Jun 19, 2018 at 06:02:22PM +0900, Amit Langote wrote:
> Noticed that the relevant code changed, so I rebased the patch.  Also,
> made a minor update to a nearby comment.

That looks right to me as we speak about non-leaf partitions here.
Alvaro, as 499be013 is yours, would you fix this inconsistency or should
I?  I could understand why things are confusing on HEAD, "partitioned"
and "partition" have opposite meanings.
--
Michael

Commits

  1. Consistently use the term 'partitioned rel' in partprune comments

  2. Support partition pruning at execution time