Hi Paul,
> [...] 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?
--
Best regards,
Aleksander Alekseev