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 c5ff346549e7 (Postfix) with ESMTPS id 32C535D4 for ; Wed, 26 Feb 2020 15:51:27 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.70,488,1574118000"; d="scan'208";a="437771621" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 26 Feb 2020 16:51:26 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 041C37F424; Wed, 26 Feb 2020 16:51:26 +0100 (CET) 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 EDA257ED20 for ; Wed, 26 Feb 2020 16:51:21 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=nicolas.ojeda.bar@lexifi.com; spf=Pass smtp.mailfrom=nicolas.ojeda.bar@lexifi.com; spf=Pass smtp.helo=postmaster@FRA01-PR2-obe.outbound.protection.outlook.com IronPort-PHdr: =?us-ascii?q?9a23=3AlPhVnReAxTj0UdevHROrKixFlGMj4u6mDksu8pMi?= =?us-ascii?q?zoh2WeGdxcW9Zh7h7PlgxGXEQZ/co6odzbaP7+axBSdQuN6oizMrTt9lb1c9k8?= =?us-ascii?q?IYnggtUoauKHbQC7rUVRE8B9lIT1R//nu2YgB/Ecf6YEDO8DXptWZBUhrwOhBo?= =?us-ascii?q?KevrB4Xck9q41/yo+53Ufg5EmCexbal9IRmrogjdrM0bjIRtJqsy1xfCv2dFdf?= =?us-ascii?q?lRyW50Kl2fmArx6N2t95B56SRQvPwh989EUarkeqkzUKJVAjc7PW0r/cPnrRbM?= =?us-ascii?q?QxeB6XsaSWUWjwFHAxPZ4xHgX5f+qTX1u+xg0ySHJ8L2TLQ0WTO/76d3TRLjlS?= =?us-ascii?q?kKOyIl/GzRl8d9l7xQrg6/qBNjwo7UeICVO+R4fqPBZtMRWG5NUt9MWyBdHo+w?= =?us-ascii?q?ao0CBPcDM+lFtYnwv1sAowWjCwmwCu3hyTFIiX333aIm3OouHhrL3BA7EN8UrH?= =?us-ascii?q?jYsMn5OaUUXOuozKfI1zLDb/ZO1Dnl6YjHbhchofWOWrJrbMHf0EsvGB3YgVqK?= =?us-ascii?q?tIfoIjaS1v4QuGWc6epgVP6gi2kjqw5ruTij3MAsiovXiY0I0F/I7z52z5wvJd?= =?us-ascii?q?CjTE50f9GlEJpetyGbLYd5XsQiQ2RxtSs817YIt5m7fC0Qx5QmwR7Sc/OHc4mU?= =?us-ascii?q?4hLjSeaeOi10i25ieLK6nxqy9Vavy+L9Vsm60VZGtDZKkt7Jtn0Lyhfd6dCHR+?= =?us-ascii?q?Ny80u9wzqDyhzf5+NeLUwpi6bXMYMtzqMym5YLr0jPAiv7lF/1gaKWbEko5PSk?= =?us-ascii?q?5uf9brn7pJKRNIl5gRzkPKs0gMywG+E4PxAOX2eF/eS806Xu803lTrhWkvE6j7?= =?us-ascii?q?DVvorGK8gFv6K5BBRa3Zg55xa4EjemzM8XnX4aLFJDZR2LlZDpO0vJIPDkE/iw?= =?us-ascii?q?n0iskDZsx/DAJLHhBYjNLmTHkLfmerZ96FRQxxY0zdBa/55UC7cBL+zvWkLpu9?= =?us-ascii?q?HUEgU1PxGoz+vlEtlxy50SVXiSDqOEMq7eqVqI6fguI+mIao8VojH9K/096v7o?= =?us-ascii?q?jH82hVgdfa2z0psMcny4GfZmLFuEbnX2mNsOCn0FvhAlQezullKDXj9TZ3izX6?= =?us-ascii?q?4m+j47D4emAZ/ZRo+xmLyBwDu7HppOa29aEF+MFHPoe5yAW/cNcyKSPtRskicE?= =?us-ascii?q?VLikU48uzwuitA78y7p9L+rb4DcUtZz51Is92+qGvhEo9CdoCNyd3imiRnt1mW?= =?us-ascii?q?VAEyMx0q92u016zH+ZzK5yhOweHttWsaBnSAA/YLjdxOt+gsu6fQDMct7BYtq8?= =?us-ascii?q?CoGgADo2StsqhdgMbkp0Xd+rlDjH0jqrDb5TnLuOUs9nupnA1mT8cp4ug03N07?= =?us-ascii?q?Ms2hx/GpMWaD+Ww5Vn/g2WPLbn1kWUk6H2KvYy5geVrSK79zDLu0tVFgltTa/C?= =?us-ascii?q?QHYTIFPMqsj07V/DSLnoDqk7NgxGyoiJLa4YM4S132UDf+/qPZHlW0z0g325XE?= =?us-ascii?q?zawr6cbYTrPW4a2XeFURlWo0Uo5X+DcDMGKGKkqmPaAiZpEAu1MUfh4ehwqTWw?= =?us-ascii?q?SUpmlgw=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CaAwAok1Zeh3UMayhlHQEBAQkBEQUFA?= =?us-ascii?q?YF7gVRQcXUDBAsqCoQKg0YDhTqFJ3mKI4Iia4xKgUKBEANUCQEDAQsBHw4CBAE?= =?us-ascii?q?BhEACF4IHBgEENBMCEAEBBQEBAQIBAgMEARMBAQEIDQkIKYU+DII7KQGCfwIBA?= =?us-ascii?q?xIREQwBATcBDwIBCAsDDAImAgICIBACAQUBDBACBA4FIoMEAYJKAy4BAgyhf4E?= =?us-ascii?q?EPRYCgTmIYQEBdIEygn8BAQWFChiBEHwDBoEOKoUgDId2gRyBETaCLy4+gmQCg?= =?us-ascii?q?SuDS4JekGWfNQeCP4IkhS2PFByCSYgbkEqXbJJLAgQCBAUCBggBAQUjgUaBenB?= =?us-ascii?q?QMQaCNVAYDY4dGoIqgS+KVXQCgSePJgGBDwEB?= X-IPAS-Result: =?us-ascii?q?A0CaAwAok1Zeh3UMayhlHQEBAQkBEQUFAYF7gVRQcXUDBAs?= =?us-ascii?q?qCoQKg0YDhTqFJ3mKI4Iia4xKgUKBEANUCQEDAQsBHw4CBAEBhEACF4IHBgEEN?= =?us-ascii?q?BMCEAEBBQEBAQIBAgMEARMBAQEIDQkIKYU+DII7KQGCfwIBAxIREQwBATcBDwI?= =?us-ascii?q?BCAsDDAImAgICIBACAQUBDBACBA4FIoMEAYJKAy4BAgyhf4EEPRYCgTmIYQEBd?= =?us-ascii?q?IEygn8BAQWFChiBEHwDBoEOKoUgDId2gRyBETaCLy4+gmQCgSuDS4JekGWfNQe?= =?us-ascii?q?CP4IkhS2PFByCSYgbkEqXbJJLAgQCBAUCBggBAQUjgUaBenBQMQaCNVAYDY4dG?= =?us-ascii?q?oIqgS+KVXQCgSePJgGBDwEB?= X-IronPort-AV: E=Sophos;i="5.70,488,1574118000"; d="scan'208";a="437771605" X-MGA-submission: =?us-ascii?q?MDG9G//uhjxOvswe1LxPJpl+C5X/wzJAfk1jUl?= =?us-ascii?q?1FRVn/ozOaJ8pdpIxsTlpcLMKty+xO8cYDYlJodrm3SnIF/CHb0bvczM?= =?us-ascii?q?8id0Y82r4l2jEE9kpSEGPblWSqtj+LLpJwEynjDbJp0VHTOFtl4v75N3?= =?us-ascii?q?ZuF24QOqGPMXrTiLqBHMvZaQ=3D=3D?= Received: from mail-eopbgr120117.outbound.protection.outlook.com (HELO FRA01-PR2-obe.outbound.protection.outlook.com) ([40.107.12.117]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 26 Feb 2020 16:51:21 +0100 ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=lhij9J5rtYGUaR9j+2LWstJd20+UZi3mHwrgs+UPo4Tlebu29vmHymrDzfn8PD7WRuPU633GD4s1ii/kmglvHZf1gAv2InOtt6V9uZylTHeDe0U9h4E7wN3Bs2wb6Yqv+3ZgHfgWTxI2InCE0StD2llaaomJSpbjwJzIehLlyIcT7Ri9qJBNBU4AfZRuRWOIg9wq3RYT9oFq/fr+GP32bDDpEhCqZky3CHM0mzbsGpGPHuh3eZU986B01jo0IIqzJCMQxWNkVKWXH9STA7G49ueaAf3QGJBhqIC32xpcJvOcmKjyzrrLzy95llEVxgWt2Lgq1H8giug+KziOMCTa1Q== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=PMyW65lCS43NPlJrNhzbKog8b480CRxG/poqT2n605U=; b=CSs9XCyZB2NFcDmb5iNggcbn6z/fOv8xJGKMhUblSJ4Dc6OTaN1/xsy7mAxGfs4z/ofyxmMw3ZbHK+LQNM5ff05paUfl15oInoMqEBKDJ25rzkghSW8ywf3EtGpfbQpw/5E7GJwsrWuosxzt98Xcki8io/lLSpRDvE6BUpYQMH3I28mvohgDPvoejr1TaE9iBHuYcB9KnZoUeHT46yhNlSEEF6mxtLz7nnU+CnuTDB/7XM6w7OK0TmCCqS6eWY1B7i5WodejROaCAjYZP4Cm7yVi9Gob3oF9uxzffizASjtA1gVvmK4PC0dZ4E2RSjrlQvjrBu+a+EJ0T5wyMVPaPQ== ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=lexifi.com; dmarc=pass action=none header.from=lexifi.com; dkim=pass header.d=lexifi.com; arc=none DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=lexifi1.onmicrosoft.com; s=selector2-lexifi1-onmicrosoft-com; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=PMyW65lCS43NPlJrNhzbKog8b480CRxG/poqT2n605U=; b=gIDX1ZzbM78oLxzlUARw1cujcGuzLzku2fopdIYL4/e6fXDttSssuyA/t6Jp1uvxLrKCyAqtGKyJzy+AgtD59cmddzHAEjJJlOIAlRvXniUKn8aavaURtJQK7tQb5DI9H4lVPoOeTrQMQUvOPKHiXI4k8JMesPnDqe130IaeJM0= Received: from MR2P264MB0610.FRAP264.PROD.OUTLOOK.COM (52.134.34.22) by MR2P264MB0403.FRAP264.PROD.OUTLOOK.COM (52.134.39.147) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.2772.14; Wed, 26 Feb 2020 15:51:20 +0000 Received: from MR2P264MB0610.FRAP264.PROD.OUTLOOK.COM ([fe80::e495:a554:8e22:c9a4]) by MR2P264MB0610.FRAP264.PROD.OUTLOOK.COM ([fe80::e495:a554:8e22:c9a4%5]) with mapi id 15.20.2750.021; Wed, 26 Feb 2020 15:51:20 +0000 Received: from mail-lj1-f178.google.com (209.85.208.178) by AM3PR07CA0058.eurprd07.prod.outlook.com (2603:10a6:207:4::16) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.2772.11 via Frontend Transport; Wed, 26 Feb 2020 15:51:18 +0000 Received: by mail-lj1-f178.google.com with SMTP id q8so3667958ljb.2 for ; Wed, 26 Feb 2020 07:51:18 -0800 (PST) From: =?utf-8?B?Tmljb2zDoXMgT2plZGEgQsOkcg==?= To: Christophe Garion CC: OCaml Mailing List Thread-Topic: [Caml-list] Printer for lists in toplevel is different when opening List Thread-Index: AQHV7Lm75xKrvwwLx0ayV0HGppU8Tagtn6eA Date: Wed, 26 Feb 2020 15:51:19 +0000 Message-ID: References: <877e09fjs7.fsf@port-garion.isae.fr> In-Reply-To: <877e09fjs7.fsf@port-garion.isae.fr> Accept-Language: en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-clientproxiedby: AM3PR07CA0058.eurprd07.prod.outlook.com (2603:10a6:207:4::16) To MR2P264MB0610.FRAP264.PROD.OUTLOOK.COM (2603:10a6:500:4::22) x-ms-exchange-messagesentrepresentingtype: 1 x-gm-message-state: APjAAAWxnSFfenD/WkErsozQazcHodvj+F9q5bJ10ukd10Y0pzem7+7O ky0pxvtG0Jar1vtZPrG1zm5kSDZQ3O/Oxo6RGsQ= x-google-smtp-source: APXvYqw0pUK2kaghY9IKDAEEyufSl72hL7nswL2rHz5SzTyvP4iyK6g3bWFbmyN+izSqillNLFet6vlsuNPSAQkrwRo= x-received: by 2002:a2e:880a:: with SMTP id x10mr3541521ljh.211.1582732276857; Wed, 26 Feb 2020 07:51:16 -0800 (PST) x-gmail-original-message-id: x-originating-ip: [209.85.208.178] x-ms-publictraffictype: Email x-ms-office365-filtering-correlation-id: bd6f741f-c289-4df4-0f7a-08d7bad3b839 x-ms-traffictypediagnostic: MR2P264MB0403: x-microsoft-antispam-prvs: x-ms-oob-tlc-oobclassifiers: OLM:9508; x-forefront-prvs: 0325F6C77B x-forefront-antispam-report: SFV:NSPM;SFS:(10019020)(346002)(366004)(189003)(199004)(81156014)(81166006)(8676002)(8936002)(85182001)(9686003)(52116002)(86362001)(42186006)(55446002)(64756008)(66556008)(4326008)(66476007)(66446008)(6862004)(2906002)(85202003)(66946007)(5660300002)(186003)(508600001)(966005)(26005)(71200400001);DIR:OUT;SFP:1102;SCL:1;SRVR:MR2P264MB0403;H:MR2P264MB0610.FRAP264.PROD.OUTLOOK.COM;FPR:;SPF:None;LANG:en;PTR:InfoNoRecords;MX:1;A:1; x-ms-exchange-senderadcheck: 1 x-microsoft-antispam: BCL:0; x-microsoft-antispam-message-info: RArGaT9Pwk1F26LxUIzW0qUZt465JNGOmIRYzA8HA1aE8TNQhhNfCdYvs/G/hzisRmhoX86gtBWwMX7S08lWPmeZ07JKX6y3HJWI9HzmJmjBQPnmOm6k3ofjH3GkZpYX/shpzgljVDgtCHPFjH0MSvFr7qMczc71cswYpsXi6Tf/4QDFNykuMGHe65KYCOI2j9xFTxq1UIFJPSYJuREYGaa2g8O3QUZnOPJi7J0Cz8m9p9Xj5GsJtWVBXkFfoTvJ8YGiszXSubKTmw7AC+zE3B6SvXhLH+AIV4fbt/MFsADKMMj4Re0822Uaefh6KmBu3VFhdRatAXWkq0/PpnY0AdXK1dPL0MsUK86c8neYYxY6h5GIceRL7joWHdqWnRGAVYDPVwsPJaUev3XrB0C3otP5S0wm5yYhCnlSMwL4i/5Iz8xe4/wu3QFsQYvHRcIreP595Y4WoeTTowwawQNP0g8OopEbal9SapJ/RhdzvmpebRCOhXJ3WQV/nx/qdzCYto1laNOTb5jYbrN1Qw+YpA== x-ms-exchange-antispam-messagedata: 4c9MRhlgKMPXy2gcGniJuhDy9JeIDDviPhSThOunRdcA13osToWWI4usEnSXHrkGHHb/8jf4hap+7udypBUtrcKGuz2wbxe9RUvXY/nBixgIWuRVm2FCAxWOq36Imxyj/gpiuYAY8Q5My8gginDZAw== x-ms-exchange-transport-forked: True Content-Type: text/plain; charset="utf-8" Content-ID: <294A64DF8697804DAD363FC872E344E2@FRAP264.PROD.OUTLOOK.COM> Content-Transfer-Encoding: base64 MIME-Version: 1.0 X-OriginatorOrg: lexifi.com X-MS-Exchange-CrossTenant-Network-Message-Id: bd6f741f-c289-4df4-0f7a-08d7bad3b839 X-MS-Exchange-CrossTenant-originalarrivaltime: 26 Feb 2020 15:51:19.0266 (UTC) X-MS-Exchange-CrossTenant-fromentityheader: Hosted X-MS-Exchange-CrossTenant-id: 9c9628ec-e5c3-4aa7-afa1-e7bf99470874 X-MS-Exchange-CrossTenant-mailboxtype: HOSTED X-MS-Exchange-CrossTenant-userprincipalname: 04ntn6fdNPwjVQ2DLmsxVFPYvAgIktwfani5g7kPKVdb49D3deTK0fM96vhPVRjqStaLozVk1VRujhw8fTPp7Gu9r6dbBZ30/ud5oV56avg= X-MS-Exchange-Transport-CrossTenantHeadersStamped: MR2P264MB0403 Subject: Re: [Caml-list] Printer for lists in toplevel is different when opening List Reply-To: =?utf-8?B?Tmljb2zDoXMgT2plZGEgQsOkcg==?= X-Loop: caml-list@inria.fr X-Sequence: 18019 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: RGVhciBDaHJpc3RvcGhlLA0KDQpMb29rcyBsaWtlIGEgYnVnIGluIHRoZSB0b3BsZXZlbCBwcmlu dGVyIHRvIG1lIChhbmQgaXQgaXMgc3RpbGwNCnByZXNlbnQgaW4gNC4xMCkuDQpDb3VsZCB5b3Ug cGxlYXNlIG9wZW4gYSBidWcgcmVwb3J0IGF0DQoNCiAgICBodHRwczovL2dpdGh1Yi5jb20vb2Nh bWwvb2NhbWwvaXNzdWVzDQoNCndpdGggdGhlIGRlc2NyaXB0aW9uIG9mIHRoZSBpc3N1ZSBhcyBp biB5b3VyIG1lc3NhZ2U/IFRoYW5rcyENCg0KQmVzdCB3aXNoZXMsDQotLQ0KTmljb2zDoXMgT0pF REEgQsOEUg0Kbmljb2xhcy5vamVkYS5iYXJAbGV4aWZpLmNvbQ0KaHR0cHM6Ly93d3cubGV4aWZp LmNvbQ0KDQpMZSBtZXIuIDI2IGbDqXZyLiAyMDIwIMOgIDE2OjMwLCBDaHJpc3RvcGhlIEdhcmlv bg0KPHRvZmdhcmlvbkBydW5ib3guY29tPiBhIMOpY3JpdCA6DQo+DQo+IEhlbGxvLA0KPg0KPiBJ IGFtIHVzaW5nIE9DYW1sIDQuMDkuMCBmcm9tIE9QQU0gYW5kIEkgaGF2ZSBqdXN0IG5vdGljZWQg c29tZXRoaW5nDQo+IHBlY3VsaWFyIHVzaW5nIHRoZSB0b3BsZXZlbC4NCj4NCj4gV2hlbiBldmFs dWF0aW5nIDEgOjogMiA6OiBbXSwgdGhlIGxpc3QgaXMgcHJpbnRlZCBhcyB1c3VhbDoNCj4NCj4g IyAxIDo6IDIgOjogMyA6OiBbXSA7Ow0KPiAtIDogaW50IGxpc3QgPSBbMTsgMjsgM10NCj4NCj4g SWYgSSBvcGVuIGZpcnN0IExpc3QsIHRoZW4gdGhlIHByaW50aW5nIGlzIGRpZmZlcmVudDoNCj4N Cj4gIyBvcGVuIExpc3QgOzsNCj4gIyAxIDo6IDIgOjogMyA6OiBbXSA7Ow0KPiAtIDogaW50IExp c3QudCA9ICg6OikgKDEsIFsyOyAzXSkNCj4NCj4gVGhlIGxpc3QgaXMgbm93IHR5cGVkIHdpdGgg dGhlIHR5cGUgdCB1c2VkIGluIHRoZSBMaXN0IG1vZHVsZSBzaWduYXR1cmUNCj4gYW5kIHRoZSBs aXN0IHJlcHJlc2VudGF0aW9uIGlzIGRpZmZlcmVudC4gSXQgc2VlbXMgdGhhdCB0aGUgImNsYXNz aWMiDQo+IHByaW50aW5nIGZ1bmN0aW9uIGlzIHVzZWQgZm9yIHRoZSB0YWlsIG9mIHRoZSBsaXN0 LCBidXQgbm90IGZvciB0aGUNCj4gZmlyc3QgQ29ucyBvZiB0aGUgbGlzdC4NCj4NCj4gSXMgaXQg bm9ybWFsPw0KPg0KPiBCZXN0IHJlZ2FyZHMsDQo+DQo+IENocmlzdG9waGUNCj4NCj4gLS0NCj4g Q2hyaXN0b3BoZSBHYXJpb24NCj4gR1BHOiAxOTgyIDE1QjIgNjRBQyAzQzM0IDUzMkQgIEJGMTkg NkNENiAyNDZDIDYyREEgNUE3Rg0K