Re: Timetz comparison

2018-05-25 Thread Tom Lane
"David G. Johnston" writes: > On Fri, May 25, 2018 at 3:33 PM, Tom Lane wrote: >> Even if you'd made a case why we should consider them equal, >> those would be very good reasons not to change behavior that's >> stood for 17 years. > This is true, and the alternative doesn't have the supporting

Re: Timetz comparison

2018-05-25 Thread David G. Johnston
On Fri, May 25, 2018 at 3:33 PM, Tom Lane wrote: > Alexey Bashtanov writes: > > Comparison of timetz values looks a bit weird to me, as > > '22:00+02'::timetz > '21:00+01'::timetz. > > Perhaps, but I don't think there's a reasonable case for considering > them equal, either. In the other places

Re: Timetz comparison

2018-05-25 Thread Tom Lane
Alexey Bashtanov writes: > Comparison of timetz values looks a bit weird to me, as > '22:00+02'::timetz > '21:00+01'::timetz. Perhaps, but I don't think there's a reasonable case for considering them equal, either. In the other places where obviously-different values compare equal, such as zero