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 1C1597FCCB for ; Mon, 27 Apr 2015 16:53:34 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of drupyog+caml@zoho.com) identity=pra; client-ip=74.201.84.155; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="drupyog+caml@zoho.com"; x-sender="drupyog+caml@zoho.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of drupyog+caml@zoho.com designates 74.201.84.155 as permitted sender) identity=mailfrom; client-ip=74.201.84.155; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="drupyog+caml@zoho.com"; x-sender="drupyog+caml@zoho.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@sender1.zohomail.com) identity=helo; client-ip=74.201.84.155; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="drupyog+caml@zoho.com"; x-sender="postmaster@sender1.zohomail.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0CcAQANTD5Vm5tUyUpchDuDGssEAoEyPBABAQEBAQEBEQEBAQEBBgsLCSEuhCEBAQQjDwEFCwE0Aw4LGgIFFgsCAgkDAgECAUUGAQwIAQGIEgEDAQQMBLIycIRnAohvIiglhSkBAQgBAQEBFweBIYoXhDoJSYJogUUBkmGJMYEigRiEf4pYg1CEGW2BBIFAAQEB X-IPAS-Result: A0CcAQANTD5Vm5tUyUpchDuDGssEAoEyPBABAQEBAQEBEQEBAQEBBgsLCSEuhCEBAQQjDwEFCwE0Aw4LGgIFFgsCAgkDAgECAUUGAQwIAQGIEgEDAQQMBLIycIRnAohvIiglhSkBAQgBAQEBFweBIYoXhDoJSYJogUUBkmGJMYEigRiEf4pYg1CEGW2BBIFAAQEB X-IronPort-AV: E=Sophos;i="5.11,657,1422918000"; d="scan'208";a="113689797" Received: from sender1.zohomail.com ([74.201.84.155]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-MD5; 27 Apr 2015 16:53:32 +0200 DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=zapps768; d=zoho.com; h=message-id:date:from:user-agent:mime-version:to:subject:references:in-reply-to:content-type; b=omXxdCojkXBJdyUQ/T5yNu99kVK0aykMpd6Rq/zUfdbebnx9JSyvouYxB2iuT69/mpkt/jcCufVs bKLEtHqFVAwZ1XiZpyMEiu9UFdL9h3uKtgG2LC4xqbJobBs4BTS0 Received: from [192.168.1.8] (did75-8-82-228-42-129.fbx.proxad.net [82.228.42.129]) by mx.zohomail.com with SMTPS id 1430146407325473.2586939713525; Mon, 27 Apr 2015 07:53:27 -0700 (PDT) Message-ID: <553E4D64.5030209@zoho.com> Date: Mon, 27 Apr 2015 16:53:24 +0200 From: Drup User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Thunderbird/31.6.0 MIME-Version: 1.0 To: Ashish Agarwal , Caml List References: In-Reply-To: Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit Subject: Re: [Caml-list] inconsistent assumptions over interface According to the message, my guess is that you are trying to link a server file with a client library while having compiled it with the server library. Since client and server libraries don't have the same type, they disagree over the interface. My wild guess would be that your build script is broken. Le 27/04/2015 16:39, Ashish Agarwal a écrit : > The error "inconsistent assumptions over interface" has always been > due to a build artifact not being updated after upgrading some > library. Rebuilding one's files from scratch always solves the > problem. However, I'm in a situation where I've recompiled everything > from scratch many times, but I reproducibly get the error below. Does > anyone know what else I should look for? > > It's Eliom related, though I don't know why that would matter. > > # Error: The files ~/.opam/4.02.1/lib/eliom/client/eliom_pervasives.cmi > # and ../_server/foo.cmi make inconsistent assumptions > # over interface Eliommod_parameters > # *** omake: targets were not rebuilt because of errors: > # _build/lib/_client/foo.cmi > # depends on: _build/lib/foo.eliom > # _build/lib/_client/foo.cmo > # depends on: _build/lib/foo.eliom >