From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id A1BD87F737 for ; Wed, 23 Sep 2015 08:48:34 +0200 (CEST) X-IronPort-AV: E=Sophos;i="5.17,577,1437429600"; d="asc'?scan'208";a="178993042" Received: from charm-ecran.irisa.fr ([131.254.101.83]) by mail2-relais-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 23 Sep 2015 08:48:34 +0200 From: Alan Schmitt To: gallego@cri.ensmp.fr (Emilio =?utf-8?Q?Jes=C3=BAs?= Gallego Arias) Cc: caml-list@inria.fr References: <84io72z88q.fsf@cri.ensmp.fr> Date: Wed, 23 Sep 2015 08:48:30 +0200 In-Reply-To: <84io72z88q.fsf@cri.ensmp.fr> ("Emilio =?utf-8?Q?Jes=C3=BAs?= Gallego Arias"'s message of "Tue, 22 Sep 2015 19:14:45 +0200") Message-ID: User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.5 (darwin) MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha512; protocol="application/pgp-signature" Subject: Re: [Caml-list] How can I change the margin size in the toplevel? --=-=-= Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Hi Emilio, On 2015-09-22 19:14, gallego@cri.ensmp.fr (Emilio Jes=C3=BAs Gallego Arias)= writes: > Alan Schmitt 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 =3D > 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=E2=80=99s as if the toplevel was not using Format.std_formatter for its output. I don=E2=80=99t know how to get hold o= f the formatter used in the toplevel to change its options=E2=80=A6 Thanks again, Alan --=20 OpenPGP Key ID : 040D0A3B4ED2E5C7 Athmospheric CO=E2=82=82 (Updated September 13, 2015, Mauna Loa Obs.): 397.= 77 ppm --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQEcBAEBCgAGBQJWAks/AAoJEAQNCjtO0uXHEqQIAKS+6ZQxTaWHHUmjPiMMQ9cf 1RDE7gAhEnDlIE8o6f1hhD1RWx+fwnC/LqNLyzkfVJA5hn0gUlBMRi3gf4BClfxo yB6tBS1JrZd3iYSLiCTz8zOSPgd0Hk1bRA3JLw4WZBoBhNAYSl0pQh1bGozeSqFu SVjSfC+SHfjE1yDjY4l5U8F30aufYs3cOoS5HvYB8SG3mKoS1o6UImyB32cFy+LW Y9JCctQElEhtwJdisbGK5OvOvgKMzBPkBTitdLN5oJx+DzHxWbqI6KkS3aec1Cxc /BVgthj5zCGApwu1k1uK6vW+HFp2MFrXAHso4ZRuJB15rhGSYS5kTv5sd16ycok= =QODL -----END PGP SIGNATURE----- --=-=-=--