From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 E90AF7EE35 for ; Wed, 23 Mar 2016 16:38:34 +0100 (CET) X-IronPort-AV: E=Sophos;i="5.24,382,1454972400"; d="asc'?scan'208";a="209750980" Received: from cbg35-2-78-242-14-140.fbx.proxad.net (HELO charm-ecran.irisa.fr) ([78.242.14.140]) by mail2-relais-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 23 Mar 2016 16:38:34 +0100 From: Alan Schmitt To: Benoit Vaugon Cc: caml-list@inria.fr References: <56F2AFDD.3090609@gmail.com> Date: Wed, 23 Mar 2016 16:38:33 +0100 In-Reply-To: <56F2AFDD.3090609@gmail.com> (Benoit Vaugon's message of "Wed, 23 Mar 2016 16:01:49 +0100") 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] A question about Format and semantic tags --=-=-= Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable On 2016-03-23 16:01, Benoit Vaugon writes: > Hello Alan, > > In fact, the Format tag activation is local to a formatter. The function > Format.set_tags enables tags only for the std_formatter (associated to st= dout). > If you want to activate tags for the Format.str_formatter, you should cal= l: > > Format.pp_set_tags Format.str_formatter true; > > instead of: > > Format.set_tags true; > Format.set_mark_tags true; That's it, thanks a lot! Alan --=20 OpenPGP Key ID : 040D0A3B4ED2E5C7 Monthly Athmospheric CO=E2=82=82 (2016-02, Mauna Loa Obs.): 404.02 --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQEcBAEBCgAGBQJW8rh5AAoJEAQNCjtO0uXH2+AH/1F8lcqxbC8+O8d7E/94vgXz DkMZmUZyyPo4fnzLy84DbIfz8O7viWGh6bT3y7Ok173MP6GwKa9E4cnw7CHLgY3x pDcmnqMEF0IF/y1R67Da533HLrLi1niRgftVAKWr70AYA6V8x4LA5KzoLfBjylzB +wYKm1LdOiHimWcZbIChRzyUt8ufMIKWVtKnS7hVrMrAp7D65BPSqpyaod7UY2Es Aa6Tl3VMACk71Pl4Nlj2tgMngzR+mJjkq4tojUDTBJyVMn0f9EFNC0jIHDGlTQmK mZuO+AIYW55G5rSVkFuyG1RWsFOCdYDdbsZTgwS2jJxPM84bze0VjOHnl49WbCo= =9xfC -----END PGP SIGNATURE----- --=-=-=--