Re: [PATCH] Support empty ranges with bounds information

On Thu, 4 Mar 2021 at 01:25, Joel Jacobson <joel(at)compiler(dot)org> wrote:

Suggestion #1: Use [] as the canonical form for discrete types.
> This would allow creating ranges for all values for discrete types.
>

I won't reiterate here, but there are fundamental reasons why [) is
definitely the right default and canonical form.

In any case, you can create a range containing the last value:

odyssey=> select 2147483647 <@ int4range (0, null);
?column?
----------
t
(1 row)

odyssey=>

It does seem reasonable to me to change it so that specifying the last
value as the right end with ] would use a null endpoint instead of
producing an error when it tries to increment the bound.