Hi Emilio,

On 2015-09-22 19:14, gallego@cri.ensmp.fr (Emilio Jesús Gallego Arias) writes:

> Alan Schmitt <alan.schmitt@polytechnique.org> writes:
>
>> Format.pp_set_margin Format.err_formatter 200
>>
>> and
>>
>> Format.pp_set_margin Format.std_formatter 200
>>
>> inside the toplevel but it does not change the formatter for these
>> messages.
>
> I recall having some trouble with Format margins too, this snippet
> worked for me(TM) in a custom application:
>
>   let set_pp fmt =
>     Format.pp_set_ellipsis_text fmt "[...]";
>     Format.pp_set_margin fmt (fmt_margin + 1); (* Don't ever ask *)
>     Format.pp_set_max_indent fmt fmt_margin    in
>
>   set_pp Format.std_formatter;
>   set_pp Format.err_formatter;

Thanks a lot for this suggestion. Unfortunately it does not seem to work
in the toplevel: it’s as if the toplevel was not using
Format.std_formatter for its output. I don’t know how to get hold of the
formatter used in the toplevel to change its options…

Thanks again,

Alan

-- 
OpenPGP Key ID : 040D0A3B4ED2E5C7
Athmospheric CO₂ (Updated September 13, 2015, Mauna Loa Obs.): 397.77 ppm