Dave Page <dpage(at)pgadmin(dot)org> writes:
> This was posted as a documentation comment:
> to_char(interval '0d 0h 12m 44s', 'DD HH MI SS');
> with HH and HH12 will return 12 instead of 0.
> Testing on 8.4.1, it does seem to be the case that you get "00 12 12
> 44". Seems bogus to me, but am I and the OP missing something?
Hmm ... it would be expected in the case of a timestamp, but seems
wrong when the input is interval. You do get sane behavior from
HH24. I guess the question is whether there is any use in different
behavior between HH12 and HH24 for intervals.
regards, tom lane