Re: doc: CREATE FOREIGN TABLE .. PARTITION OF .. DEFAULT

On Wed, Jun 1, 2022 at 6:15 PM Etsuro Fujita <etsuro(dot)fujita(at)gmail(dot)com> wrote:
> On Tue, May 31, 2022 at 9:35 PM Robert Haas <robertmhaas(at)gmail(dot)com> wrote:
> > I would probably just update the synopsis. It's not very hard to
> > figure out what's likely to happen even without clicking through the
> > link, so it seems like it's just being long-winded to duplicate the
> > stuff here. But I don't care much if you feel otherwise.
>
> It looks like there are pros and cons. I think it’s a matter of
> preference, though.
>
> I thought it would be an improvement, but I agree that we can live
> without it, so I changed my mind; I'll go with my version. I think we
> could revisit this later.

I guess I'm fine with leaving the text as-is, though slightly bothered
by leaving the phrase "partition of the given parent table with
specified partition bound values" to also cover the DEFAULT partition
case.

--
Thanks, Amit Langote
EDB: http://www.enterprisedb.com