Re: [Caml-list] How can I change the margin size in the toplevel?

[gallego@cri.ensmp.fr (Emilio Jesús Gallego Arias)]

Hi Alan,

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;

> Is there a way to access the formatter used by the toplevel? And if not,
> is it possible to change the column at which word wrap happens?

Best regards,
Emilio