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 DB61E5D5 for ; Mon, 23 Apr 2018 14:14:56 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.49,318,1520895600"; d="scan'208";a="324101688" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 23 Apr 2018 16:14:53 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 877A082445; Mon, 23 Apr 2018 16:14:53 +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 5A16782416 for ; Mon, 23 Apr 2018 16:14:46 +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-f175.google.com IronPort-PHdr: =?us-ascii?q?9a23=3ACLAmfxPtdIusBJj/VUMl6mtUPXoX/o7sNwtQ0KIM?= =?us-ascii?q?zox0I/39rarrMEGX3/hxlliBBdydt6ofzbKO+4nbGkU4qa6bt34DdJEeHzQksu?= =?us-ascii?q?4x2zIaPcieFEfgJ+TrZSFpVO5LVVti4m3peRMNQJW2aFLduGC94iAPERvjKwV1?= =?us-ascii?q?Ov71GonPhMiryuy+4ZLebxlGiTanfb9+MAi9oBnMuMURnYZsMLs6xAHTontPde?= =?us-ascii?q?RWxGdoKkyWkh3h+Mq+/4Nt/jpJtf45+MFOTav1f6IjTbxFFzsmKHw65NfqtRbY?= =?us-ascii?q?UwSC4GYXX3gMnRpJBwjF6wz6Xov0vyDnuOdxxDWWMMvrRr0vRz+s87lkRwPpiC?= =?us-ascii?q?cfNj427mfXitBrjKlGpB6tvgFzz5LIbI2QMvdxeb7Tfc4BRWpZQMleSzBBDI27?= =?us-ascii?q?b4sKFeUBPOBYpJT5q1YBqRayAA+hD/7txDBVnH/7xbA03fovEQ/G3wIuEdwBv3?= =?us-ascii?q?vWo9rpO6kfSvy1warSwDnfc/9b1zXw5Y7VeR4hu/GMWrdwfNLTxkY1EQPFiEib?= =?us-ascii?q?p47/MDOQy+sCqW+b7/dhVemyjGMmqxt+oj6pxss2ionGnIcVxU3e+iV+3YY1JM?= =?us-ascii?q?a1SEF+YdG+EZtQszuWOJdxQsMnWmxlvjsxxLMBuZ6+ZicKyZInygbea/yBaYiI?= =?us-ascii?q?4wjsWPyfITdinH5keKiwhxa18Uin0OHzSs600FNMoyFYkdfMrmgA2wLP5sWDUP?= =?us-ascii?q?dw/Ues1SyS2wzN6exIO104mKjbJpI5wbM9mIAfvVnDEyL2gkn7jaGbel869uS0?= =?us-ascii?q?6enqZKjtqIWGOI9ukA7+N7wjmsyhDuQ8NQgDR22b9v691L3n5EH4Tq9KguEvnq?= =?us-ascii?q?nXrZzXJ8QWqrS2Aw9S1YYj5BK/ACm83NsEmnkHKUpJeBOBj4f3J1HDOO70Aeu7?= =?us-ascii?q?jli2kzpmx+rKMqD/DpjONHTPjbXscLZl505Z0gUzzNRf55xOCrEGJfL+Qk/wu8?= =?us-ascii?q?beDh8/KQC0w/zoCNBg2YwEXmKPH66ZPbjdsV+N/O0vIu2MaJUJtzb6Lvgp/+Tu?= =?us-ascii?q?gmMhmV8BYamp2oMaZ2yiEfRjJ0WVeH7sgtYaEWcWpQc+V+zriFiaUTFJfXqyXq?= =?us-ascii?q?Q85is6CI28F4vDSJqt0/S923KdH5ZRYuldPXeOHHvhQK8IQb9YbiOZJctoiXoD?= =?us-ascii?q?V7WtQskr3AuGsALqyrRmaOHT/3tLm4jk0Y1E7uvV3TE78DB9CNmcmzWcRmdy2G?= =?us-ascii?q?MBQjM/271+iUN4w1aHl6N/hqoLRpRo+/pVX1JiZtbnxOtgBoW3B1uYL4W5DW2+?= =?us-ascii?q?S9DjOgkfC9c4wtsAeUF4QozwgRXK3i7sCLgQxeXSWM4Et5nE1n20HP5Tjm7c3f?= =?us-ascii?q?B43VYjS8pLc2ahg/wnrlWBN8vyi0yc0p2SW+Ec0SrKrjnRyGOPuARHSlY1X/ya?= =?us-ascii?q?ADYQYUzZqdm/7UTHHeej?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0ACBgA06d1af6+AVdFbhFUDgR+DaoNtk?= =?us-ascii?q?QuBdAKBDYFAkUAUgWQLI4RIAoJmGQcBBDIWAQIBAQEBAQEBAQETAQEJCwsIJiU?= =?us-ascii?q?MgjUkgkoBAgMjDwENARsSCwEDDAYFCw0CAgkdAgIhAhEBBQEKEgYNBgIBAQ4Ih?= =?us-ascii?q?FwBAxUEC54fPIsFgX8FAReCcAWBY4FlChkmAwpUV4ImAgYJAQh3hgd8gVQ/gTK?= =?us-ascii?q?CaIJPN4E1gziCVAKGDAiFcotBLAiBYYN7hWeCdwaBb4VMD4UEiTZAhhACBAIEB?= =?us-ascii?q?QIFDyGBBCMGgX1NI1AxghIJhXOBPokWbZAtAQE?= X-IPAS-Result: =?us-ascii?q?A0ACBgA06d1af6+AVdFbhFUDgR+DaoNtkQuBdAKBDYFAkUA?= =?us-ascii?q?UgWQLI4RIAoJmGQcBBDIWAQIBAQEBAQEBAQETAQEJCwsIJiUMgjUkgkoBAgMjD?= =?us-ascii?q?wENARsSCwEDDAYFCw0CAgkdAgIhAhEBBQEKEgYNBgIBAQ4IhFwBAxUEC54fPIs?= =?us-ascii?q?FgX8FAReCcAWBY4FlChkmAwpUV4ImAgYJAQh3hgd8gVQ/gTKCaIJPN4E1gziCV?= =?us-ascii?q?AKGDAiFcotBLAiBYYN7hWeCdwaBb4VMD4UEiTZAhhACBAIEBQIFDyGBBCMGgX1?= =?us-ascii?q?NI1AxghIJhXOBPokWbZAtAQE?= X-IronPort-AV: E=Sophos;i="5.49,318,1520895600"; d="scan'208";a="263013625" Received: from mail-wr0-f175.google.com ([209.85.128.175]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 23 Apr 2018 16:14:45 +0200 Received: by mail-wr0-f175.google.com with SMTP id v60-v6so41733727wrc.7 for ; Mon, 23 Apr 2018 07:14:45 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=subject:to:cc:references:from:message-id:date:user-agent :mime-version:in-reply-to:content-transfer-encoding:content-language; bh=E29dDzRXyVVjEfTev9roTeHro8cudSIoVthc9Q1vPMc=; b=MGnAN503r8tGeRWav6LnCQGqbjnoPomBDnWqcxIIQz7V4oH2ovZCL0LXKYO/q3xvZU wWJTBfzS6DcLR+GHxNnLDecv4NNqN4aw+ucKWMNE0f/Usv1oDNB/soTcAf5oZt06G4Zk 4UbaVJWniUniFiFHyIYkbS/HhibhQfKlt0E+IkcE2LWFOmuZlq7ZsHPGrU+UhimraiNi yN6qIqZmS/6Rm7LZlRYQMOdGI1Pum5LuscPgggi7msQh/K6Zh+n4lRIxDqFmVbkC5HBq Xn/RWdAmPdPyj/OHcrN0h8rMgcaBByGIylEnbrHh360E8K26n+A9Tom8PJGzbbHyAanL f+GQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:subject:to:cc:references:from:message-id:date :user-agent:mime-version:in-reply-to:content-transfer-encoding :content-language; bh=E29dDzRXyVVjEfTev9roTeHro8cudSIoVthc9Q1vPMc=; b=TuLTa6S3QkJy+hAogRm45idBuIihca5aeeVph6gJnWmSIYiC9s/5+zmGM1OdYNlw7o N8GdR2tA2Nu5/JzYN/XVNz9AtD0wJKQv1eGfs1EVSZKuPzBjf772Gy/iUiVycgWnNhG7 MvNFLbH335s3h9xB8gpDWdzq4QDMxZuPhyAsUdOKRwe++Sk4OB9j7btHme3/vN0RsbDW ZP4hmNo+1OgvRoZA/Z8C8Du/kZKlGIqmosm+2TgfXgrRFh78b2AzJ590SUAYOuqNNh1Y 8c9yo1dB7SMhLbCIhd0Ob/VIVUxxY4ewSs6NHeiL0FF3vRirFIx/7+l8clMKIIh6xf2P Qg/Q== X-Gm-Message-State: ALQs6tBp8CKelEpJEx/trYHZ6ZBtBhIu4ZbEQMdcThqwNDNFL6Gr/ZmP EMtJysVG7s7TevITim8jVOtdlQ== X-Google-Smtp-Source: AB8JxZoaJQSyeEpdGYenf/pWFIf/MRej/fycSSsvshW15/FSyR/SwPww9/bLWH5fH3mXvZ2kO6cGiw== X-Received: by 10.28.202.26 with SMTP id a26mr7843732wmg.126.1524492884090; Mon, 23 Apr 2018 07:14:44 -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 q16-v6sm13918948wrn.81.2018.04.23.07.14.42 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Mon, 23 Apr 2018 07:14:43 -0700 (PDT) To: =?UTF-8?Q?Nicol=c3=a1s_Ojeda_B=c3=a4r?= Cc: Caml List References: <7354001e-a4ba-781e-fc4a-3a7ccd5a91fd@gmail.com> From: Yann Hamdaoui Message-ID: <3a6adae6-aef5-e0c6-de55-047b315d1760@gmail.com> Date: Mon, 23 Apr 2018 16:14:42 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.7.0 MIME-Version: 1.0 In-Reply-To: Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit Content-Language: fr Subject: Re: [Caml-list] Inconsistent assumptions over interface Reply-To: Yann Hamdaoui X-Loop: caml-list@inria.fr X-Sequence: 16847 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: I see. I'm tempted to wait for 4.07 but keeping a module named Format would still break compatibility for lower versions, so I guess I have to come up with a different name. Thank you for your help, Nicolás. Y.H On 22/04/2018 17:29, Nicolás Ojeda Bär wrote: > 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ás > > On Sun, Apr 22, 2018 at 4:53 PM, Yann Hamdaoui wrote: >> 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 -- 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