On Thu, Nov 2, 2023 at 06:22:59PM -0400, Bruce Momjian wrote:
> On Thu, Nov 2, 2023 at 03:42:53PM +0100, Laurenz Albe wrote:
> > On Thu, 2023-11-02 at 10:14 -0400, Bruce Momjian wrote:
> > > Better, though "Is the range's upper bound unbounded?" makes me cringe.
> > >
> > > Oh, yeah, totally cringe, me too. :-)
> > >
> > > > It is not the bound that is bounded or not, but the range.
> > > >
> > > > How about "Is the range unbounded at the upper end?" or "Does the range
> > > > have no upper bound?"
> > >
> > > I used your "end" idea to modify the patch, attached.
> >
> > There are still some loose ends:
> >
> > - you lost the specification whether it is the upper or the lower bound
> >
> > - "Infinity" is a literal
> >
> > - "-Infinity" is a very unlikely value for an upper bound
> >
> > How about the attached version?
>
> Agreed, yours is much better.
Backpatched to PG 16.
--
Bruce Momjian <bruce@momjian.us> https://momjian.us
EDB https://enterprisedb.com
Only you can decide what is important to you.