Re: to_char issue?

Dave Page <dpage@pgadmin.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