Re: casting interval to time

Tomasz Myrta <jasiek@klaster.net> writes:
> Dnia 2003-06-16 16:53, U�ytkownik Tom Lane napisa�:
>> Tomasz Myrta <jasiek@klaster.net> writes:
>> 
>>> psql (PostgreSQL) 7.3.2
>>> SELECT cast(cast('1 day 12 hours' as interval) as time);
>>> time
>>> ----------
>>> 00:00:00
>>> (1 row)
>> 
>> 
>> I get 12:00:00 here, using 7.3.3 ... platform-specific problem maybe?

> Default Debian package. I got the same result even on a 7.3.3 Debian 
> package.

What do you get from "pg_config --configure"?  What's the hardware
platform --- i386, or something else?  Can anyone else reproduce this,
on any platform?
        regards, tom lane