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 3BBC75D5 for ; Sun, 22 Apr 2018 15:29:37 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.49,312,1520895600"; d="scan'208";a="323972720" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 22 Apr 2018 17:29:35 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id A550F8242A; Sun, 22 Apr 2018 17:29:35 +0200 (CEST) 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 0130A82416 for ; Sun, 22 Apr 2018 17:29:30 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=nicolas.ojeda.bar@lexifi.com; spf=SoftFail smtp.mailfrom=nicolas.ojeda.bar@lexifi.com; spf=None smtp.helo=postmaster@vrout30.yaziba.net IronPort-PHdr: =?us-ascii?q?9a23=3ADj0SgxbJbYs/4X3LUsSbVhj/LSx+4OfEezUN459i?= =?us-ascii?q?sYplN5qZrsm6bnLW6fgltlLVR4KTs6sC17KN9fi4EUU7or+5+EgYd5JNUxJXwe?= =?us-ascii?q?43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6arXK99yMdFQviPgRp?= =?us-ascii?q?OOv1BpTSj8Oq3Oyu5pHfeQpFiCazbL9oMBm6sRjau9ULj4dlNqs/0AbCrGFSe+?= =?us-ascii?q?RRy2NoJFaTkAj568yt4pNt8Dletuw4+cJYXqr0Y6o3TbpDDDQ7KG81/9HktQPC?= =?us-ascii?q?TQSU+HQRVHgdnwdSDAjE6BH6WYrxsjf/u+Fg1iSWIdH6QLYpUjm58axlVAHnhz?= =?us-ascii?q?sGNz4h8WHYlMpwjL5AoBm8oxBz2pPYbJ2JOPZ7eK7Ses4URXdaXsZJSSNOHp+8?= =?us-ascii?q?YYUID+oEJ+lYro/9rEYKoRaxAQSgAeXiwSJKiHDrx603y+YuEQ/G0gIuHNwArW?= =?us-ascii?q?rao8n6OqoJTeC11bPFwSnfY/9K2zrw7pXDfBA7ofGLWLJ9adLfyUgzGAPCilWX?= =?us-ascii?q?q5flMCuM2OQPrWeU8vBvWvqyhmkisQF6vz+ixsEtiobVgYIVzkrL9T5jzIYyJ9?= =?us-ascii?q?23VlN0bsS+HJRLrS6aLZB7Qsc8TGBnuSY6xLwGtYSncygNzZQq3hjSYOGJfYiP?= =?us-ascii?q?5xLsTueRITFgiXJkfrK/nRey/lK6xu3yTMm4yFZLoTBFktnLsXABzQDc6s+CSv?= =?us-ascii?q?Z740yv2i6P2hjO5uxHIU04j6rWJp87zrIuipYevl7PEyH4lUnukqOaakEp9vKr?= =?us-ascii?q?5unneLnquIKQOo9uhgz+L6gjnNG0D/4iPQgURWeb/Pyx1L398k39R7VHluM2kr?= =?us-ascii?q?PesJDHOcQWqLK1DxVV04k56he/Diyp384CkXkBMl1FZAqLj4nvO17QPPD1Feqz?= =?us-ascii?q?jlesnTtxx/3LP6ftDovRInXMirvsc7hw51ZZyAUpzNBf45xUCqsGIPL2QkLxst?= =?us-ascii?q?3YAQM+Mwyw2ennE89x1oQcWW2RH6CWKrnevkSS6eI1OOSMYJEauTn8K/gr5v7i?= =?us-ascii?q?l2M2mVgYfaWxx5sYdGi4Huh6I0WeeXfjns0OEWIOvgYnSOzqiUaCUSJIanapX6?= =?us-ascii?q?M84yk7B5i8AYfCQICtmr2B0z2hEp1YfGBKElWMEXD1eIqaQ/oMcyeSItN5kjwD?= =?us-ascii?q?SLihV9xp6Rb7hQb8zfJHJ+/Y8yoFtNq3xdFz4avTnBQ+/DtpDuyS1miMSyd/mW?= =?us-ascii?q?ZeFBEs26Uqh012zVMKyp9fgfFUHOt5a+kBBgE7PpnYxvc8DNL/VguHdN6TYFKr?= =?us-ascii?q?UtSoAHc6SddnkIxGWFp0B9j31kOL5CGtGbJA0uHSXc1mwufnx3H0Yv1F5TPD3a?= =?us-ascii?q?glgUMhR5IVZ2mrlq9x9k7YAIubyBzFxZbvTrwV2Wv2zEnG1XCH5RsKVANgUKvE?= =?us-ascii?q?G3sYYxmO9Imr1gb5V7arTI8fHE5BxMqFcPMYdMfukEkdHLHyMcbfaWv3nWqsV0?= =?us-ascii?q?6F?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AYBQBnqdxahyHMOLlcHgEGDIQkeigKg?= =?us-ascii?q?2CUeIF0E3yBQIUsjCiBZAsjhEgCgj4HGQwFLxQBAgEBAQEBAQEBARMBAQEKCwk?= =?us-ascii?q?IKCMMgjUkgkoBAgMjSwsQCwsNAgIJHQICIQESAQUBChIGExIIhF0DFQQBCptaP?= =?us-ascii?q?IsFghyHBgMKgQYlgi6BCYcDghOEGoJPN4E1OIMAglQChgwIhXKLQSwIhVyFZ4J?= =?us-ascii?q?9gW+KX4k2QIYoDwMegQICM4FzcFAxBoIMCYIlg06BPokWbZBNAQE?= X-IPAS-Result: =?us-ascii?q?A0AYBQBnqdxahyHMOLlcHgEGDIQkeigKg2CUeIF0E3yBQIU?= =?us-ascii?q?sjCiBZAsjhEgCgj4HGQwFLxQBAgEBAQEBAQEBARMBAQEKCwkIKCMMgjUkgkoBA?= =?us-ascii?q?gMjSwsQCwsNAgIJHQICIQESAQUBChIGExIIhF0DFQQBCptaPIsFghyHBgMKgQY?= =?us-ascii?q?lgi6BCYcDghOEGoJPN4E1OIMAglQChgwIhXKLQSwIhVyFZ4J9gW+KX4k2QIYoD?= =?us-ascii?q?wMegQICM4FzcFAxBoIMCYIlg06BPokWbZBNAQE?= X-IronPort-AV: E=Sophos;i="5.49,312,1520895600"; d="scan'208";a="323972703" Received: from vrout30.yaziba.net ([185.56.204.33]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 22 Apr 2018 17:29:28 +0200 Received: from mtaout20.int.yaziba.net (mtaout20.int.yaziba.net [10.4.20.37]) (using TLSv1 with cipher ADH-AES256-SHA (256/256 bits)) (No client certificate requested) by vrout30.yaziba.net (mx10.yaziba.net) with ESMTPS id 9DAD652041 for ; Sun, 22 Apr 2018 17:29:27 +0200 (CEST) Received: from localhost (localhost [127.0.0.1]) by mtaout20.int.yaziba.net (Postfix) with ESMTP id 9771B160216 for ; Sun, 22 Apr 2018 17:29:27 +0200 (CEST) X-Virus-Scanned: amavisd-new at mtaout20.int.yaziba.net Received: from mtaout20.int.yaziba.net ([127.0.0.1]) by localhost (mtaout20.int.yaziba.net [127.0.0.1]) (amavisd-new, port 10026) with ESMTP id 2fxwzjHoY4zx for ; Sun, 22 Apr 2018 17:29:27 +0200 (CEST) Received: from mail-lf0-f51.google.com (mail-lf0-f51.google.com [209.85.215.51]) by mtaout20.int.yaziba.net (Postfix) with ESMTPSA id 6AA5016010E for ; Sun, 22 Apr 2018 17:29:27 +0200 (CEST) Received: by mail-lf0-f51.google.com with SMTP id b23-v6so11405917lfg.4 for ; Sun, 22 Apr 2018 08:29:27 -0700 (PDT) X-Gm-Message-State: ALQs6tBxcagsvUqUBBjKcvf4kYdlbDLcVO1JjvwzFTrnYVyh3OqMUilc pzZgjXjVGhA6XlEHmiNbWH3RAx0LG0kFlgQE36U= X-Google-Smtp-Source: AB8JxZouisg/MNNPefM+zuDeTnh4lWh+3uHCC9fCvUcTPxu0CeTIakx3pniKlOqs+38WPoGtUYdcbclm249NjLD5VfE= X-Received: by 2002:a19:3848:: with SMTP id d8-v6mr6769774lfj.16.1524410966808; Sun, 22 Apr 2018 08:29:26 -0700 (PDT) MIME-Version: 1.0 Received: by 10.46.129.87 with HTTP; Sun, 22 Apr 2018 08:29:06 -0700 (PDT) In-Reply-To: <7354001e-a4ba-781e-fc4a-3a7ccd5a91fd@gmail.com> References: <7354001e-a4ba-781e-fc4a-3a7ccd5a91fd@gmail.com> From: =?UTF-8?Q?Nicol=C3=A1s_Ojeda_B=C3=A4r?= Date: Sun, 22 Apr 2018 17:29:06 +0200 X-Gmail-Original-Message-ID: Message-ID: To: Yann Hamdaoui Cc: Caml List Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-DRWEB-SCAN: ok X-VRSPAM-SCORE: -51 X-VRSPAM-STATE: legit X-VRSPAM-CAUSE: gggruggvucftvghtrhhoucdtuddrgedtgedrkedvgdelvdcutefuodetggdotefrucfrrhhofhhilhgvmecuggftfghnshhusghstghrihgsvgenuceurghilhhouhhtmecufedttdenucesvcftvggtihhpihgvnhhtshculddquddttddmnegoufhushhpvggtthffohhmrghinhculdegledmnecujfgurhepjghfhfffkffuvfgtgfesthhqredttddtjeenucfhrhhomheppfhitgholhojshgpqfhjvggurggpueomrhcuoehnihgtohhlrghsrdhojhgvuggrrdgsrghrsehlvgigihhfihdrtghomheqnecuffhomhgrihhnpehinhhrihgrrdhfrhdphigrhhhoohdrtghomhenucfkphepvddtledrkeehrddvudehrdehudenucfrrghrrghmpehmohguvgepshhmthhpohhuth X-VRSPAM-EXTCAUSE: mhhouggvpehsmhhtphhouhht Subject: Re: [Caml-list] Inconsistent assumptions over interface Reply-To: =?UTF-8?Q?Nicol=C3=A1s_Ojeda_B=C3=A4r?= X-Loop: caml-list@inria.fr X-Sequence: 16844 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 Yann, Indeed, you cannot link two different modules of the same name in the same program, where "same name" essentially means that their .cmi files are named similarly. The good news is that the upcoming 4.07 release fixes this long-standing issue by using long compilation unit names for stdlib modules which are unlikely to conflict with anything else. (e.g. the .cmi of the stdlib Format module is named stdlib__format.cmi in 4= .07). Best wishes, Nicol=C3=A1s On Sun, Apr 22, 2018 at 4:53 PM, Yann Hamdaoui wr= ote: > Dear list, > > I ran into a problem today while compiling a library of mine. I got the > following error : > > "Error: The files [...]/.opam/4.06.0/lib/re/re.cmi and src/format.cmi > make inconsistent assumptions over interface Format". > > After a quick search it should be solved by cleaning everything and make > a fresh build. In my case it didn't, and I suspect this is because I > declared a module named Format in my lib which clashes with the > Pervasive.Format that seems to be used by the re library (which is a > dependence). Does it mean that I can't use any XXX as a module name if > it already exists in Pervasives and is used by some library I depend on ? > > > Y.H > > > -- > Caml-list mailing list. Subscription management and archives: > https://sympa.inria.fr/sympa/arc/caml-list > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs --=20 Caml-list mailing list. Subscription management and archives: https://sympa.inria.fr/sympa/arc/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs=