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 C1FCE5D4 for ; Wed, 26 Feb 2020 15:30:52 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.70,488,1574118000"; d="scan'208";a="437768284" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 26 Feb 2020 16:30:51 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 879E47F424; Wed, 26 Feb 2020 16:30:51 +0100 (CET) Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 9392F7ED20 for ; Wed, 26 Feb 2020 16:30:48 +0100 (CET) Authentication-Results: mail3-smtp-sop.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=3AYh+AoB22rRThEPjusmDT+DRfVm0co7zxezQtwd8Z?= =?us-ascii?q?se0SKfad9pjvdHbS+e9qxAeQG9mCt7QV16GJ7ujJYi8p39WoiDg6aptCVhsI24?= =?us-ascii?q?09vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF7?= =?us-ascii?q?Ovr6GpLIj8Swyuu+54Dfbx9HiTagbr5+NhG7oAreusQUgYZpN7o8xAbOrnZUdO?= =?us-ascii?q?tawn9lK0iOlBjm/Mew+5Bj8yVUu/0/8sNLTLv3caclQ7FGFToqK2866tHluhnF?= =?us-ascii?q?VguP+2ATUn4KnRpSAgjK9w/1U5HsuSbnrOV92S2aPcrrTbAoXDmp8qlmRAP0hC?= =?us-ascii?q?oBKjU09nzchM5tg6JBuB+uqRxxzZDJbo+bN/Rxcb/ScMgGRWZdQspdSzBND5mg?= =?us-ascii?q?Y4YJEuEPPfxYr474p1YWsxa+BROsBOL0yj9UgX/2xa063Po8Gg/HxgMgBdMOsH?= =?us-ascii?q?PSrN7oM6oSTee1zKfHzTrZdfNW2DD96I7TfxA7vPGMW6l/cc3eyEU1CwzFiVCQ?= =?us-ascii?q?pJXjMjiI1eoNq3CW4/dkWO6xkWIqrw98riKxysoshYTFnIEYxkzc+Slkwos4JM?= =?us-ascii?q?e0RFN0bNOkCpddtSCXO5F3T84tRWxjpTw0xaccuZGheSgH0JQnyADba/yAa4WI?= =?us-ascii?q?+RfjVPqJIThmi3NlZLS/hxmo/Uih0e3zTNe73ExEripfitXMt3YN2ALP6sWfV/?= =?us-ascii?q?dw+lmt1SyL2g3d8O1IP0A5mKXBJ5Mi3rI8jp8Tvl7CHi/ylkX2lqiWdkA89+i0?= =?us-ascii?q?7OTnbLrmqYWGN491jQH+NL8jmtaiAeQ+KQcOWGea9f6g273k+E31WK9KgeEukq?= =?us-ascii?q?nFrJDaItwWqbKjDA9Q1oYv8hK/Dza90NQEhnQHN1JEeBefj4fzIV3OIfb4De2+?= =?us-ascii?q?g1u2ijtryerGbfXdBcDGJ33H1bPgZqpV6khGyQN1w8oMyYhTD+QqIOjyQVP2rN?= =?us-ascii?q?zVRjAwKQ2zxa6zFNJz2YoEWGWJKrWENqnVoRmD4ed5cLrEX5McpDuoc6tt3PXp?= =?us-ascii?q?l3JswQZBL5ns5oMebTWDJtojO1+QOCC+mMoHG2Aa+AE5Sb6y0QzQYXtof3+3Gp?= =?us-ascii?q?kEyHQ+AYOiA53EQ9n30qac2i28DttdYWUUVgnRQ0etTJ2NXrI3UAzXIsJllWVV?= =?us-ascii?q?B6OkV5csxQ2ou0n70LNqaOTOqHUV?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0C8DACPjlZefVD+XcBlHAEBATgBBAQBA?= =?us-ascii?q?QIBBwEBgVWBPgISghgwjUGFdYwFhX+LSgkBAwEMBSgCBAEBhkMZAww0EwIQAQE?= =?us-ascii?q?FAQEBAgECAwQBEwEBCxQIhXOCOyKEQjQBhlABMQEDAbAZh0wBgneBNgIBAYUeD?= =?us-ascii?q?IZ4GoIAgRE2gi+GBIUiBI11oiGCRgSGY5AajnmMNapfgWmBek0jUIJtTxgNjXM?= =?us-ascii?q?BjnJCgVqQNgEB?= X-IPAS-Result: =?us-ascii?q?A0C8DACPjlZefVD+XcBlHAEBATgBBAQBAQIBBwEBgVWBPgI?= =?us-ascii?q?SghgwjUGFdYwFhX+LSgkBAwEMBSgCBAEBhkMZAww0EwIQAQEFAQEBAgECAwQBE?= =?us-ascii?q?wEBCxQIhXOCOyKEQjQBhlABMQEDAbAZh0wBgneBNgIBAYUeDIZ4GoIAgRE2gi+?= =?us-ascii?q?GBIUiBI11oiGCRgSGY5AajnmMNapfgWmBek0jUIJtTxgNjXMBjnJCgVqQNgEB?= X-IronPort-AV: E=Sophos;i="5.70,488,1574118000"; d="scan'208";a="340508366" X-MGA-submission: =?us-ascii?q?MDE+ij4pqoJ17tn0Jqh42/qPoC9KR53nxFK4Qo?= =?us-ascii?q?E8ElO/ESQO3GefU4a3fSuI4LW6WpFfrNNM8H1kp1Sb97wtd6VzAtTZUQ?= =?us-ascii?q?tRSsK2uLJ8GsB2SF8AxQsxsJzKwffZ79BnoUtpov8pS6sShritAzDL+u?= =?us-ascii?q?XvF6IuhWe/lKmKw6T/g2W5Vg=3D=3D?= Received: from smtpextng.isae.fr ([192.93.254.80]) by mail3-smtp-sop.national.inria.fr with ESMTP; 26 Feb 2020 16:30:47 +0100 Received: from smtp-int-tech (smtp-int-tech.isae.fr [10.132.1.56]) by smtpextng.isae.fr (Postfix) with ESMTP id 51E6F70CBA for ; Wed, 26 Feb 2020 16:30:47 +0100 (CET) Received: from smtp-secung (smtp-secung.isae.fr [192.93.254.79]) by smtp-int-tech (Postfix) with ESMTP id 46CE2405047 for ; Wed, 26 Feb 2020 16:30:47 +0100 (CET) Received: from port-garion (dra13-h01-176-145-76-64.dsl.sta.abo.bbox.fr [176.145.76.64]) by smtp-secung (Postfix) with ESMTPSA id 21AAE70CBA for ; Wed, 26 Feb 2020 16:30:46 +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 1j6ye2-000imQ-Ut for caml-list@inria.fr; Wed, 26 Feb 2020 16:30:42 +0100 User-agent: mu4e 1.2.0; emacs 26.3.50 From: Christophe Garion To: caml-list@inria.fr Date: Wed, 26 Feb 2020 16:30:32 +0100 Message-ID: <877e09fjs7.fsf@port-garion.isae.fr> MIME-Version: 1.0 Content-Type: text/plain Subject: [Caml-list] Printer for lists in toplevel is different when opening List Reply-To: Christophe Garion X-Loop: caml-list@inria.fr X-Sequence: 18018 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: Hello, I am using OCaml 4.09.0 from OPAM and I have just noticed something peculiar using the toplevel. When evaluating 1 :: 2 :: [], the list is printed as usual: # 1 :: 2 :: 3 :: [] ;; - : int list = [1; 2; 3] If I open first List, then the printing is different: # open List ;; # 1 :: 2 :: 3 :: [] ;; - : int List.t = (::) (1, [2; 3]) The list is now typed with the type t used in the List module signature and the list representation is different. It seems that the "classic" printing function is used for the tail of the list, but not for the first Cons of the list. Is it normal? Best regards, Christophe -- Christophe Garion GPG: 1982 15B2 64AC 3C34 532D BF19 6CD6 246C 62DA 5A7F