From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 9A0538242B for ; Sat, 2 Jun 2018 22:02:59 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=yawar.amin@gmail.com; spf=Pass smtp.mailfrom=yawar.amin@gmail.com; spf=None smtp.helo=postmaster@mail-io0-f172.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of yawar.amin@gmail.com) identity=pra; client-ip=209.85.223.172; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="yawar.amin@gmail.com"; x-sender="yawar.amin@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of yawar.amin@gmail.com designates 209.85.223.172 as permitted sender) identity=mailfrom; client-ip=209.85.223.172; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="yawar.amin@gmail.com"; x-sender="yawar.amin@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-io0-f172.google.com) identity=helo; client-ip=209.85.223.172; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="yawar.amin@gmail.com"; x-sender="postmaster@mail-io0-f172.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3A93h2zxHurRN5TwsoKChvn51GYnF86YWxBRYc798d?= =?us-ascii?q?s5kLTJ7zocWwAkXT6L1XgUPTWs2DsrQY07eQ6/iocFdDyK7JiGoFfp1IWk1Nou?= =?us-ascii?q?QttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXdrXKo8DEdBAj0OxZr?= =?us-ascii?q?KeTpAI7SiNm82/yv95HJbAhEmDqwbaluIBmqsA7cqtQYjYx+J6gr1xDHuGFIe+?= =?us-ascii?q?NYxWNpIVKcgRPx7dqu8ZBg7ipdpesv+9ZPXqvmcas4S6dYDCk9PGAu+MLrrxjD?= =?us-ascii?q?QhCR6XYaT24bjwBHAwnB7BH9Q5fxri73vfdz1SWGIcH7S60/VC+85Kl3VhDnlC?= =?us-ascii?q?YHNyY48G7JjMxwkLlbqw+lqxBm3oLYfJ2ZOP94c6zaYN0aWHFBXt5PWCNdHoOy?= =?us-ascii?q?YYwPD+8bMuZZqYn2ul8CoBS6CAWpAu7k1z1GiWLs3aAi0eshHwHI0gIjEdwTrn?= =?us-ascii?q?rbsM74O70OXe2v1qTE0SnPYvFQ1Dzg6IbIaBchofSUUL1ya8XQx1MgFxnYhViM?= =?us-ascii?q?rIzlPjWV3fkKvmmb9eVhW/igi3Q9pw5rpzivx8Esh5LGhoIQ0F/E9CF5zJwpKt?= =?us-ascii?q?2/TU52eNipG4ZeuSGdMot5WMIiQ2dwtSY0zb0Go5u7czIWyJg9wh7fb+SLc4mO?= =?us-ascii?q?4hL5VeaeOy10hHx/eL6nhxe960igyur7VsWuzFlKqS9Fn9/RvX4Ozxze8taLRu?= =?us-ascii?q?d580u72juC1xrf5v9aLU06j6bXNpwszqA2m5EOq0rMBDX2l1/zjKKOdkUr5Oyo?= =?us-ascii?q?6+P/b7XjvJCcNot0hhj/MqQphsCzGOo4PhUMUmSF4+i827rj/Ur2QLVOkPI6iL?= =?us-ascii?q?XWsJffJcgDp665BRFa0po75hqhEzur1M4UkHoHIV5fZh6LkYbkN0vTLP36E/uz?= =?us-ascii?q?m1Gsny1qx/DCML3hGJLNLn3bnbbhZ7l85VRTyBApwd9F4pJUC7cBLen8Wk/0rt?= =?us-ascii?q?PYDxs5PxaozObgDdVxzpkeVn6XAq+FLKPStkeF6f41LOmJYI8ZoTL9K/k+5/7y?= =?us-ascii?q?lnI5gl8cfayx3ZQNcny4H/JmI1+YYXX2mNsBH30K7UICS7nbgVuEGR5aYnq7WL?= =?us-ascii?q?89rmUqAYSgS4fKQ4ykh6GA9Ci+F5xSIGtBDwbfP23vctC1UugFcmq7J85n2mgV?= =?us-ascii?q?XKeoUcko0BConAD/wrtjaOHT/3tL5trYyNFp6riLxlkJ/jtuApHYjjjUHjNE21?= =?us-ascii?q?gQTjpz55hR5El0y1ONy6992qUKGtla5vcPWQA/Z8eFk75KTuvqUweERe+nDU68?= =?us-ascii?q?S4z/Uz40R9M1hdQJZhQlQojwvlX4xyOvRoQtufmLCZgzqPyO2nHwI4N8zC6D2v?= =?us-ascii?q?B+1R8pRcxAMWDgjal6pVDe?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0B5CACw9xJbhqzfVdFcHgEGDIQlfxUTg?= =?us-ascii?q?3iBHYJQkQOBeQKCTZIRgWQLI4RJAoIFGQcBBDMVAQIBAQEBAQEBAQETAQEBCAs?= =?us-ascii?q?LCCgjDII1JIJPAQEBAQIBIx0BGxILAQMBCwYFCw0NHQICIQEBEQEFAQoSBhMSC?= =?us-ascii?q?IMIAoFmAQMNCA+aFTyLCIF/BQEXgnAFg0cKGSYDClVXgWACBhKIMIFUP4Qcgk8?= =?us-ascii?q?3gTVlglOCVAKGGgiGDIwULAcCgWeEBYV2gwGBfIseiXhKIYYtDyGBECaBdDMaI?= =?us-ascii?q?1AxghIJgWckGoNOgT6CYoZOIzCPPAEB?= X-IPAS-Result: =?us-ascii?q?A0B5CACw9xJbhqzfVdFcHgEGDIQlfxUTg3iBHYJQkQOBeQK?= =?us-ascii?q?CTZIRgWQLI4RJAoIFGQcBBDMVAQIBAQEBAQEBAQETAQEBCAsLCCgjDII1JIJPA?= =?us-ascii?q?QEBAQIBIx0BGxILAQMBCwYFCw0NHQICIQEBEQEFAQoSBhMSCIMIAoFmAQMNCA+?= =?us-ascii?q?aFTyLCIF/BQEXgnAFg0cKGSYDClVXgWACBhKIMIFUP4Qcgk83gTVlglOCVAKGG?= =?us-ascii?q?giGDIwULAcCgWeEBYV2gwGBfIseiXhKIYYtDyGBECaBdDMaI1AxghIJgWckGoN?= =?us-ascii?q?OgT6CYoZOIzCPPAEB?= X-IronPort-AV: E=Sophos;i="5.49,470,1520895600"; d="scan'208,217";a="267374247" Received: from mail-io0-f172.google.com ([209.85.223.172]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 02 Jun 2018 22:02:53 +0200 Received: by mail-io0-f172.google.com with SMTP id f1-v6so6656701ioh.6 for ; Sat, 02 Jun 2018 13:02:53 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc; bh=mw66j9FOepRpKIhYqCmsKzTspdbyVAjDBYPpftlye34=; b=pGcbuYHNbYdq+ZmpCi9JQ6/f9usBNK9WJbvr4inqnmI0bHdHI8cxQcxjUtYqwKR6od 7Ivzk2uvIhd5nsXLPOswZLQE6ouT8gZyL1/JTunQPcGZYy5B2+Wp5GA10nFXqADkI+n+ IJBMr1sj8CfoMbnWTIL7yqbr5acDj+PPqaAil0o4Tfiu1t+I0GVnshHcUo6wrOAaVhJ+ a5LRQB7m1gpsxyOtcpwTtDH2JdZ76ESzbkv/pBv/VAOUy7xYkfgJFppuv1pFmA4mO8nA zAFQ3dM4GR3tjRqS3NRjom+EZH2PKOoWRESqhvGuOozhAehMaKoswcfnkiMXCmUVcCBc eDUg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:in-reply-to:references:from:date :message-id:subject:to:cc; bh=mw66j9FOepRpKIhYqCmsKzTspdbyVAjDBYPpftlye34=; b=DH7wR5Lu97zUudylx9sthicma35hD+cux5TM4fdoX8JsecLqV+HJOHL/vtPjSohTbE Tr4SpMroQXtBhU000BSWPk86ZPVMr+tMrmHPnXjgsFXcUCTxa/3vPQ9LwdHld+yC7Xqt ej6fuhgg612e7rRnGVD2n27wmEStGCLI607xVzU/5I/ezMgfVf9f0NgRJR0heK5w2odJ nPiUHqV8/ONrGqWTCt1W3a3JX/jiBfwvk34PajNarlDEBaXi4A86+HvXkq8nr2T4HARe QBNGsxTaRVsI1CQCbEl/+uY2T2Ap0js0HgbrVC1047K1rSIqMLiOfBeczha0x26AJqvM DYOg== X-Gm-Message-State: ALKqPwcNUTVWcpw1AaQOY7cRBR9vh6YaHAQJqnWCS+0Q1ecIJaawDh1x Iv6ayuDfAFztPIYoiseOC9v5DW7mubaD563bww== X-Google-Smtp-Source: ADUXVKKtF5svZj28rNe+fRw7LAuBSDv4jMihwiQAdN16DC0EUOtomsxkB3lQgx02vCEjlgJwDdm/orJMLYVcbT+6FvU= X-Received: by 2002:a6b:82c7:: with SMTP id m68-v6mr14959993ioi.118.1527969772039; Sat, 02 Jun 2018 13:02:52 -0700 (PDT) MIME-Version: 1.0 Received: by 2002:ac0:acad:0:0:0:0:0 with HTTP; Sat, 2 Jun 2018 13:02:31 -0700 (PDT) In-Reply-To: <3a6adae6-aef5-e0c6-de55-047b315d1760@gmail.com> References: <7354001e-a4ba-781e-fc4a-3a7ccd5a91fd@gmail.com> <3a6adae6-aef5-e0c6-de55-047b315d1760@gmail.com> From: Yawar Amin Date: Sat, 2 Jun 2018 16:02:31 -0400 Message-ID: To: Yann Hamdaoui Cc: =?UTF-8?Q?Nicol=C3=A1s_Ojeda_B=C3=A4r?= , Caml List Content-Type: multipart/alternative; boundary="0000000000007d77e2056dae2f43" Subject: Re: [Caml-list] Inconsistent assumptions over interface --0000000000007d77e2056dae2f43 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Yann, if you use the Dune build tool it automatically prefixes your package's modules with the package name, e.g. if you have `mypackage/src/ format.ml` in your source, Dune will make sure it gets compiled to `mypackage__format.cmi`. Regards, Yawar On Mon, Apr 23, 2018 at 10:14 AM, Yann Hamdaoui wrote: > 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=C3=A1s. > > Y.H > > On 22/04/2018 17:29, Nicol=C3=A1s Ojeda B=C3=A4r 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=C3=A1s > > > > 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 ma= ke > >> 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 > --0000000000007d77e2056dae2f43 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Yann, if you use the Dune build tool it automati= cally prefixes your package's modules with the package name, e.g. if yo= u have `mypackage/src/format.ml` in your s= ource, Dune will make sure it gets compiled to `mypackage__format.cmi`.
=
Regards,

Yawar
<= br>
On Mon, Apr 23, 2018 at 10:14 AM, Yann Hamdao= ui <yann.hamdaoui@gmail.com> wrote:
I see. I'm tempted to wait for 4.07 but keeping a modu= le 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=C3=A1s.

Y.H

On 22/04/2018 17:29, Nicol=C3=A1s Ojeda B=C3=A4r wrote:
> Hello Yann,
>
> Indeed, you cannot link two different modules of the same name in the<= br> > 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 <yann.hamdaoui@gmail.com> wrote:
>> Dear list,
>>
>> I ran into a problem today while compiling a library of mine. I go= t the
>> following error :
>>
>> "Error: The files [...]/.opam/4.06.0/lib/re/re.cmi and s= rc/format.cmi
>> make inconsistent assumptions over interface Format".
>>
>> After a quick search it should be solved by cleaning everything an= d make
>> a fresh build. In my case it didn't, and I suspect this is bec= ause 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 depe= nd on ?
>>
>>
>> Y.H
>>
>>
>> --
>> Caml-list mailing list.=C2=A0 Subscription management and archives= :
>> https://sympa.inria.fr/sympa/arc/caml-list
>> Beginner's list: http://groups.yahoo.com/g= roup/ocaml_beginners
>> Bug reports: http://caml.inria.fr/bin/caml-bugs<= br>


--
Caml-list mailing list.=C2=A0 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

--0000000000007d77e2056dae2f43--