partition -> partitioned

Amit Langote <langote_amit_f8@lab.ntt.co.jp>

From: Amit Langote <Langote_Amit_f8@lab.ntt.co.jp>

To: Pg Hackers <pgsql-hackers@postgresql.org>

Date: 2018-05-17T01:52:30Z

Lists: pgsql-hackers

Attachments

use-partitioned-not-partition.patch (text/plain) patch

Hi.

Commit 499be013de6 used 'partition' where it really meant 'partitioned' in
a few places including in a variable name.  For example, what almost all
places call 'partitioned_rels', make_partition_pruneinfo called
'partition_rels'.

Attached a patch to make that uniform to avoid confusion.

Thanks,
Amit

Commits

Consistently use the term 'partitioned rel' in partprune comments
- 8f97af60d19a 11.0 landed
Support partition pruning at execution time
- 499be013de65 11.0 cited