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 9A06C5D5 for ; Sun, 22 Apr 2018 14:53:37 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.49,312,1520895600"; d="scan'208";a="323971020" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 22 Apr 2018 16:53:35 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 3A0C482446; Sun, 22 Apr 2018 16:53:35 +0200 (CEST) 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 5746382416 for ; Sun, 22 Apr 2018 16:53:27 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=yann.hamdaoui@gmail.com; spf=Pass smtp.mailfrom=yann.hamdaoui@gmail.com; spf=None smtp.helo=postmaster@mail-wr0-f174.google.com IronPort-PHdr: =?us-ascii?q?9a23=3AiALJ6hVstaPDCpRWLpn6Va4fuCrV8LGtZVwlr6E/?= =?us-ascii?q?grcLSJyIuqrYbBSGt8tkgFKBZ4jH8fUM07OQ7/i7HzRYqb+681k6OKRWUBEEjc?= =?us-ascii?q?hE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i764jEdAAjwOhRo?= =?us-ascii?q?LerpBIHSk9631+ev8JHPfglEnjWwba98IRmssQndqtQdjJd/JKo21hbHuGZDdf?= =?us-ascii?q?5MxWNvK1KTnhL86dm18ZV+7SleuO8v+tBZX6nicKs2UbJXDDI9M2Ao/8LrrgXM?= =?us-ascii?q?TRGO5nQHTGoblAdDDhXf4xH7WpfxtTb6tvZ41SKHM8D6Uaw4VDK/5KpwVhTmlD?= =?us-ascii?q?kIOCI48GHPi8x/kqRboA66pxdix4LYeZyZOOZicq/Ye94RWGhPUdtLVyFZHI2y?= =?us-ascii?q?b5YBAekPM+lWoIbyu1QAoACiBQSuHu7j1iNEi3H00KA8zu8vERvG3AslH98Wsn?= =?us-ascii?q?vbttP1NKEPWu631qbIyCjMYOlR2Tfg6YjDbxcsoPGWUrJ2d8rd00kvGBnAjlqN?= =?us-ascii?q?s4PlOC6V1uUWvmiU6upvT+Ovi2o9pw5tpTivw94hh4/UjYwW0lDJ7Tt1zJoxKN?= =?us-ascii?q?GiS0N2YcSoHIZOuyyZLYd6X8EvTm5wtCs5xLAKo4O3cSgKxZg9xhPSZeaLf5aU?= =?us-ascii?q?7h/hUuuaPC12i2h/eL2lgha/6UigxfP4VsmzyFtKqzBKktjItnwU2R3T8NSLRu?= =?us-ascii?q?Jz/ku82zuC2Brf6u5DIUAzmqrbL4AuzqQsmZoUtETPBi72mEPog6+Kbkgo5PSk?= =?us-ascii?q?5uD9brjlppKQLZJ4hh/9P6g0h8CyA+s1PhALX2eB+OS80LPj/Vf+QLVPlvA3kr?= =?us-ascii?q?PWsJbcJcgBpq62GQpV3Zs55Ba4Ejem0c8VnXYCLF1feRKHi5LlNE3JIPD9Ffu/?= =?us-ascii?q?mUijkC93x/DaOb3sGonCIWLGkLflZLp9709cyBEvzd1E/JJVCrQBIOrpVUPrtd?= =?us-ascii?q?zYCAU5Mw2uzOr9BtV9zNBWZWXaKaacNOv2sESUrrYkKuyIIYsUoyrVKv4/5veo?= =?us-ascii?q?g2VvynEHeqz87JIRbjiYF/FqKkKEYDK4k94HFyEKtw8yRev3iXWNVDdSYzC5WK?= =?us-ascii?q?dqtWJzM56vEYqWHtPlu7eGxiruW8QOPjkXWGDJKm/hcsC/Y9lJbSuTJsF7lTld?= =?us-ascii?q?DOquToYg0VelswqokuM7fNqRwTURsNfY7PYw//fazEhg+jl9DsDb2GaIHTktwz?= =?us-ascii?q?E4AgQu1aU6mnRTj1eO1a8i3a5dHN1XouxTCkI0bMGAieN9DN/2V0TKedLbEFs?= =?us-ascii?q?=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DoBAADodxahq6AVdFcg0mBD4Efg2qUe?= =?us-ascii?q?IFLgTiHUItEgWQLBYctGQcBBDQUAQIBAQEBAQEBAQETAQEBCAsLCCgjDII1JAG?= =?us-ascii?q?Cch0BGx4DEhAPAiYCJREBBQEiDQgBAYRyAQMVBJtQPIsFgX8FAReCcAWBY4FlC?= =?us-ascii?q?hkmDVRXgiYCBgkBCHeHA4FUP4EygjsBhGeDOIJUAowGi20IgWGMWQaBJoYVD4U?= =?us-ascii?q?EkAYCBAIEBQIFDyGBBDOBc00jUDGCEoIugQMBCIJCilRtkE0BAQ?= X-IPAS-Result: =?us-ascii?q?A0DoBAADodxahq6AVdFcg0mBD4Efg2qUeIFLgTiHUItEgWQ?= =?us-ascii?q?LBYctGQcBBDQUAQIBAQEBAQEBAQETAQEBCAsLCCgjDII1JAGCch0BGx4DEhAPA?= =?us-ascii?q?iYCJREBBQEiDQgBAYRyAQMVBJtQPIsFgX8FAReCcAWBY4FlChkmDVRXgiYCBgk?= =?us-ascii?q?BCHeHA4FUP4EygjsBhGeDOIJUAowGi20IgWGMWQaBJoYVD4UEkAYCBAIEBQIFD?= =?us-ascii?q?yGBBDOBc00jUDGCEoIugQMBCIJCilRtkE0BAQ?= X-IronPort-AV: E=Sophos;i="5.49,312,1520895600"; d="scan'208";a="262912006" Received: from mail-wr0-f174.google.com ([209.85.128.174]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 22 Apr 2018 16:53:26 +0200 Received: by mail-wr0-f174.google.com with SMTP id f14-v6so34451934wre.4 for ; Sun, 22 Apr 2018 07:53:26 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=to:from:subject:message-id:date:user-agent:mime-version :content-transfer-encoding:content-language; bh=AGkslAycD3bW0LDOlkYTkOXl7X0LKIw+BmEcEsHGSH0=; b=Ba77nSOXK2COnAsu/KDZsq3tnRNrQiBmFkOiyRzG7jskRg+4QyBtk14yg3/4YmPw6c LJe4MSFFVRaBTAc0VTv6jjbgmWvEgTY5PNFy7tl00JCMG5RVcpB5Cq/n3uYvy/hKLMfl jO2aXYCktirFdZ/uujDrzqvfMinDm7o4FDdYdyfOvBIAYJcrXHoY+DlZAlfZvfExUEXz zeSBrvZ6BqJ7iWoRx3ifuP+TcjVu1/lwpNglDxJ3MfE7vo0ke4+hUdxxfi7/WI9n7cB3 z3KQKUlWdmH5kTB6aXrYVfT7Gxx5gXIYIBwjuOSErtxPnxaXwPdNYtBq6XVqdF0sbr4w JB+g== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:to:from:subject:message-id:date:user-agent :mime-version:content-transfer-encoding:content-language; bh=AGkslAycD3bW0LDOlkYTkOXl7X0LKIw+BmEcEsHGSH0=; b=HztU/DyWEEnYRSdIZi8AgeATZsalMk7aRa9N8rKEhBtGZm4/qY12ipQPafGJ7HOKYd PhY9J52sjUQoizZqUDcJ1KsluX3aa78s7QDRzX+dL6SrhMkRGI0jRdRGRDhJidLYKefq aeOesP6IyO5/4aoM2MNANCQu5DSqUIF3OT4TBSbVZJosKJetX0TM5+KYJ5MQi6s8Vq39 FI8PJd0cymyQHw3vazVcGAHD9ULuLJJbqU8ofeFQagvylYiLrSLdJR21izDC0IidB3QK 2jrNLnSZLXTbHpWfWxBvypk6uws4xbF035QZfsCt5BmFXdVHOxkQPaTLQzDyFp87wcjv h6CA== X-Gm-Message-State: ALQs6tAs7Dd05ahpeoofdhwto5Uurp4jVoaWLA2l+W0eO3da9HjpawHU mgGpQtXferhDfNUB5AHcXMZaKA== X-Google-Smtp-Source: AIpwx49DhhdptTnq6BZp1YS6zeRB3tt9d4pCXOvtqOOEG4QvCqECJDdhUNfUvxZUYYuk9XjiP+jLEg== X-Received: by 2002:adf:b257:: with SMTP id y23-v6mr14712336wra.95.1524408805767; Sun, 22 Apr 2018 07:53:25 -0700 (PDT) Received: from [192.168.0.26] (mry91-6-83-155-63-207.fbx.proxad.net. [83.155.63.207]) by smtp.gmail.com with ESMTPSA id v6-v6sm10233611wrd.54.2018.04.22.07.53.24 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Sun, 22 Apr 2018 07:53:25 -0700 (PDT) To: Caml List From: Yann Hamdaoui Message-ID: <7354001e-a4ba-781e-fc4a-3a7ccd5a91fd@gmail.com> Date: Sun, 22 Apr 2018 16:53:23 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.7.0 MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 7bit Content-Language: fr Subject: [Caml-list] Inconsistent assumptions over interface Reply-To: Yann Hamdaoui X-Loop: caml-list@inria.fr X-Sequence: 16843 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: 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