Re: format_datum debugging function

On 12.08.24 23:15, Paul Jungwirth wrote:
> On 8/12/24 04:32, Aleksander Alekseev wrote:
>>> [...] This function takes a Datum and the appropriate out function, 
>>> and returns a char *. So you
>>> can do this:
>>>
>>> (gdb) call format_datum(range_out, $1)
>>> $2 = 0x59162692d938 "[1,4)"
>>>
>>> I assume a patch like this doesn't need documentation. Does it need a 
>>> test? Anything else?
>>
>> I think you forgot to attach the patch. Or is it just a proposal?
> 
> Sorry, patch attached here.

I don't think it's safe to call output functions at arbitrary points 
from a debugger.  But if you're okay with that during development, say, 
then I think you could just call OidOutputFunctionCall(F_RANGE_OUT, $1)?