pr 11067 patch

[Tom Tromey]

>>>>> "Jan" == Jan Kratochvil <jan.kratochvil@redhat.com> writes:

Finally catching up on this thread...

Jan> I would prefer the value_print_options way but rather:

Yes, I think value_print_options is preferable to checking
ui_out_is_mi_like_p.  My reason is that getting the ui-out object
involves looking at some global state, whereas value_print_options is
local to the call hierarchy.  This means that it is simpler to reason
about and modify.

Tom