From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr 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 C18ED7FB38 for ; Thu, 11 Dec 2014 19:43:05 +0100 (CET) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of milanst@gmail.com) identity=pra; client-ip=209.85.223.182; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="milanst@gmail.com"; x-sender="milanst@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of milanst@gmail.com designates 209.85.223.182 as permitted sender) identity=mailfrom; client-ip=209.85.223.182; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="milanst@gmail.com"; x-sender="milanst@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-ie0-f182.google.com) identity=helo; client-ip=209.85.223.182; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="milanst@gmail.com"; x-sender="postmaster@mail-ie0-f182.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ah4BAFbkiVTRVd+2lGdsb2JhbABZhDAEgwHIXwKBFgcWAQEBAQERAQEBAQcLCwkSMIQNAQEEEhEdARsdAQMMBgULDQICJgICIQEBEQEFARwGEwgTB4d1AQMRtXc9MYssgWuCd4szChknDVSEegEBAQEBBQEBAQEBFwEFDoETjCmCKAeCaIFBBYk8i2+BQ4tlhAQSI4EMCYQsIDCCQwEBAQ X-IPAS-Result: Ah4BAFbkiVTRVd+2lGdsb2JhbABZhDAEgwHIXwKBFgcWAQEBAQERAQEBAQcLCwkSMIQNAQEEEhEdARsdAQMMBgULDQICJgICIQEBEQEFARwGEwgTB4d1AQMRtXc9MYssgWuCd4szChknDVSEegEBAQEBBQEBAQEBFwEFDoETjCmCKAeCaIFBBYk8i2+BQ4tlhAQSI4EMCYQsIDCCQwEBAQ X-IronPort-AV: E=Sophos;i="5.07,559,1413237600"; d="scan'208";a="92962727" Received: from mail-ie0-f182.google.com ([209.85.223.182]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 11 Dec 2014 19:43:04 +0100 Received: by mail-ie0-f182.google.com with SMTP id x19so5480431ier.13 for ; Thu, 11 Dec 2014 10:43:03 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc:content-type; bh=wZWD1lY/geC2MbBHqXkT/HEPv+bgNfiogUyp8sPW+XI=; b=HEiveWOkeY9GXBcoIJahVELWN9aU/lhkTV8w9I6cG4+TuovuuXTWBpSS9yvA/VbSLF F3c6XmfueYVPcBANI4kuC5bUSXrVaB83b63AlHOosGYq1hjxXTEDYUNb8VgnaLILO0L9 0z2BMjgLEOSj6iD3CbeloklurNGek4/HFQqz8y/Qgf6/IeqgyQ2cEGrsCjrA+XzbyN6+ 2tkugnRa8nva72+hNMP+HRz//EAHYnSRuQTtPKVAFDUeDLD8UsZZfG7pUxNlmlzHeNFf dyWVbpJ1tBvJnBld0DlE+yyk8kjDg9b4Zp34koY5Fz73F2c3L6/mRcvFpNVI3YRvHE+J AYiA== X-Received: by 10.43.95.2 with SMTP id ca2mr2654icc.89.1418323383669; Thu, 11 Dec 2014 10:43:03 -0800 (PST) MIME-Version: 1.0 Received: by 10.64.65.226 with HTTP; Thu, 11 Dec 2014 10:42:23 -0800 (PST) In-Reply-To: References: From: =?UTF-8?Q?Milan_Stanojevi=C4=87?= Date: Thu, 11 Dec 2014 13:42:23 -0500 Message-ID: To: Ashish Agarwal Cc: Caml List Content-Type: text/plain; charset=UTF-8 Subject: Re: [Caml-list] module Cset clash In 4.02 you can add prefixes to the modules, in effect creating namespaces, but it requires work in build systems. I'm not sure any build system is making use of this right now. On Thu, Dec 11, 2014 at 1:21 PM, Ashish Agarwal wrote: > A Cset module is provided by both the pa_ulex and re packages, leading to: > > The files /Users/ashish/.opam/4.02.1/lib/ulex/pa_ulex.cma > and /Users/ashish/.opam/4.02.1/lib/re/re.cma > disagree over interface Cset > > Is the only solution for one of the packages to change the name? >