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 <br...@momjian.us> https://momjian.us EDB https://enterprisedb.com Only you can decide what is important to you.