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 ESMTP id 20D415D4 for ; Wed, 26 Feb 2020 20:55:34 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.70,489,1574118000"; d="scan'208";a="437802163" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 26 Feb 2020 21:55:32 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id ABC9D7F439; Wed, 26 Feb 2020 21:55:32 +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 374767F424 for ; Wed, 26 Feb 2020 21:55:28 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=tofgarion@runbox.com; spf=Fail smtp.mailfrom=tofgarion@runbox.com; spf=None smtp.helo=postmaster@smtpextng.isae.fr IronPort-PHdr: =?us-ascii?q?9a23=3AXx9b0REauLrfrLjaAQOxqp1GYnF86YWxBRYc798d?= =?us-ascii?q?s5kLTJ7zoc+wAkXT6L1XgUPTWs2DsrQY0raQ4vyrADBbqb+681k8M7V0Hycfjs?= =?us-ascii?q?sXmwFySOWkMmbcaMDQUiohAc5ZX0Vk9XzoeWJcGcL5ekGA6ibqtW1aFRrwLxd6?= =?us-ascii?q?KfroEYDOkcu3y/qy+5rOaAlUmTaxe7x/IAi5oAnLssQbjoRuJrs+xxbHv3BFZ/?= =?us-ascii?q?lYyWR0KF2cmBrx+t2+94N5/SRKvPIh+c9AUaHkcKk9ULdVEjcoPX0r6cPyrRXM?= =?us-ascii?q?QheB6XUaUmUNjxpHGBPF4w3gXpfwqST1qOxw0zSHMMLsTLA0XTOi77p3SBLtlS?= =?us-ascii?q?wKOSI1/H3Rh8dtl69Qvg6vqAJjzI7VeIGVNeRxfqXBfdMBWGFNWt9dWzFdDo+g?= =?us-ascii?q?aocCCfcKM+RFoInnv1YOoxWxCwmyCu3yyDBGiHz40qIm3OouCgzGwBUgE84SvH?= =?us-ascii?q?jIttj4NqEfWv21wqnSyjXDautb1Cn96IjScxAhuu2MXbVoccrR10YkCgLLgU+K?= =?us-ascii?q?qYzkODOV0PkGvm+H7+pnW+KvhHQoqxtwojiowMchkZPJhp8Tyl/f8iV4z5w5Ks?= =?us-ascii?q?G/SE5+eNOpFoZbuS+dN4tzWMwiQmdotT41yr0HpZ67fDUKx489yxHDbPyHdo6F?= =?us-ascii?q?6Q/gWuaJOTp0mXZodKylixu2/0Ws0PPwW8m73VpQrSdJjsHAum0P2hHS8MSLV/?= =?us-ascii?q?tw80S71TqS1Q3f8PxILVw6mKfdNpUv2KQ/loAJvkTGBiL2mFv5jKuRdkg84eio?= =?us-ascii?q?7vjnYq34qZ6TK490jA7+Pr4vmsykG+s3LBICX2aB+eik1b3j+1P2QKlSg/Erlq?= =?us-ascii?q?TVrorWKMAVq6KjHQNY0oku5wy8Aju6yNgYmGMILFNBeBKJlYjpPFTOLejkDfe4?= =?us-ascii?q?jVSsny1kx+rHPr3mBJXANWLDkKrnfblm7E5dxxA/wsxY55JREr0BOu78WlfttN?= =?us-ascii?q?zECR80KxC7zPziCNV5z48eXWOPArSFMK7Jql+J5ucvI/GWa4MPuTb9LeIl5//0?= =?us-ascii?q?gnMjl18dZ/rh4ZxCTnGzGfDvOA2+Y3fgi58rnX1C6gw/R+vugUbEVjxea3/0Va?= =?us-ascii?q?smzjU2GIOoDMHIQYX705Kb2yLuNZ1MZ3taDUiMHD/Hfp+FXPFEPD6VLMBoiD0D?= =?us-ascii?q?U5C7Vokr0gHovwj/nek0ZtHI8zEV4MqwnON+4PfewFRrrWQtU5atllqVRmQxpV?= =?us-ascii?q?smAics1fkl81ZgzF2Ewe5zhPkKTYUOtcMMaR8zMNvn98I/C932XVuQLMyMVE6r?= =?us-ascii?q?UsmgDncwVds8hdEUMR4kSoeSyyvb1i/vOIc70rmCBZg66KXZhiKjPdt7wXHWkq?= =?us-ascii?q?Imigt6Tw=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AxAgDf2lZefVD+XcBmH4IigVSBQVcwK?= =?us-ascii?q?oQUiQOICY9ziWOBZwkBAwEMHw4CBAEBhEACggEZAwwzBg4CEAEBBQEBAQIBAgM?= =?us-ascii?q?EARMBAQsUCIVnDII7KQGCfwECAgEjVgULCxoCBSECAg8BRwYTgyeCSQERIAEDA?= =?us-ascii?q?QqvXIEyh0wBgnEGgQ4qjCUaggCBR4IvLj6CZAKBKzqDEYJeBLAWgkaHUY8wgjk?= =?us-ascii?q?QiBuEFYw1l2ySc4FogXtNI1CCbFAYDZBhgS+KVkIxAoEnkDUBAQ?= X-IPAS-Result: =?us-ascii?q?A0AxAgDf2lZefVD+XcBmH4IigVSBQVcwKoQUiQOICY9ziWO?= =?us-ascii?q?BZwkBAwEMHw4CBAEBhEACggEZAwwzBg4CEAEBBQEBAQIBAgMEARMBAQsUCIVnD?= =?us-ascii?q?II7KQGCfwECAgEjVgULCxoCBSECAg8BRwYTgyeCSQERIAEDAQqvXIEyh0wBgnE?= =?us-ascii?q?GgQ4qjCUaggCBR4IvLj6CZAKBKzqDEYJeBLAWgkaHUY8wgjkQiBuEFYw1l2ySc?= =?us-ascii?q?4FogXtNI1CCbFAYDZBhgS+KVkIxAoEnkDUBAQ?= X-IronPort-AV: E=Sophos;i="5.70,489,1574118000"; d="scan'208";a="437802132" X-MGA-submission: =?us-ascii?q?MDEufdVmKYcnmgXQ/nP9S+fupJeQP0d4Y8p7fp?= =?us-ascii?q?mYUXhwpJyeb9TXw/AcR0I6myczdLQm9gx2ykmiawTbMVKdKnkF+IT3WG?= =?us-ascii?q?ORmNOcOmcM3ZHU7+aZn4Qu8q51+M9Jj1TH5WiOVc9wz6gIC9sCScDW+E?= =?us-ascii?q?aRDDx7ivA/XsmOoeTshnDwng=3D=3D?= Received: from smtpextng.isae.fr ([192.93.254.80]) by mail2-smtp-roc.national.inria.fr with ESMTP; 26 Feb 2020 21:55:10 +0100 Received: from smtp-int-tech (smtp-int-tech.isae.fr [10.132.1.56]) by smtpextng.isae.fr (Postfix) with ESMTP id C853671261; Wed, 26 Feb 2020 21:55:09 +0100 (CET) Received: from smtp-secung (smtp-secung.isae.fr [192.93.254.79]) by smtp-int-tech (Postfix) with ESMTP id C53DE405047; Wed, 26 Feb 2020 21:55:09 +0100 (CET) Received: from port-garion (unknown [176.158.17.103]) by smtp-secung (Postfix) with ESMTPSA id A5C1473F49; Wed, 26 Feb 2020 21:55:09 +0100 (CET) Received: from [::1] (helo=port-garion) by port-garion with esmtps (TLS1.3) tls TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384 (Exim 4.93) (envelope-from ) id 1j73i0-000jYr-00; Wed, 26 Feb 2020 21:55:08 +0100 References: <877e09fjs7.fsf@port-garion.isae.fr> User-agent: mu4e 1.2.0; emacs 26.3.50 From: Christophe Garion To: =?utf-8?Q?Nicol=C3=A1s?= Ojeda =?utf-8?Q?B=C3=A4r?= Cc: OCaml Mailing List In-reply-to: Date: Wed, 26 Feb 2020 21:55:07 +0100 Message-ID: <87y2spdq6s.fsf@port-garion.isae.fr> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Subject: Re: [Caml-list] Printer for lists in toplevel is different when opening List Reply-To: Christophe Garion X-Loop: caml-list@inria.fr X-Sequence: 18022 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: On Wed, Feb 26 2020 at 04:51:19 PM, Nicol=C3=A1s Ojeda B=C3=A4r wrote: > Dear Christophe, Hi Nicol=C3=A1s, > Looks like a bug in the toplevel printer to me (and it is still > present in 4.10). > Could you please open a bug report at > > https://github.com/ocaml/ocaml/issues > > with the description of the issue as in your message? Thanks! No problem, I will open a bug report. I will also reference Florian PR #9336 that solve the problem. Best, Christophe -- Christophe Garion GPG: 1982 15B2 64AC 3C34 532D BF19 6CD6 246C 62DA 5A7F