Re: json casts

Peter Eisentraut <peter_e@gmx.net> writes:
> This was solved back in the day for the xml type, which has essentially
> the same requirement, by adding an ISO-8601-compatible output option to
> EncodeDateTime().  See map_sql_value_to_xml_value() in xml.c.  You ought
> to be able to reuse that.  Seems easier than routing through to_char().

I was wondering if we didn't have another way to do that.  to_char() is
squirrely enough that I really hate having any other core functionality
depending on it.  +1 for changing this.
        regards, tom lane