From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <agarwal1975@gmail.com>
Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83])
	by sympa.inria.fr (Postfix) with ESMTPS id B76F17FCCB
	for <caml-list@sympa.inria.fr>; Mon, 27 Apr 2015 16:40:03 +0200 (CEST)
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  agarwal1975@gmail.com) identity=pra;
  client-ip=209.85.212.172;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="agarwal1975@gmail.com";
  x-sender="agarwal1975@gmail.com";
  x-conformance=sidf_compatible
Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of
  agarwal1975@gmail.com designates 209.85.212.172 as permitted
  sender) identity=mailfrom; client-ip=209.85.212.172;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="agarwal1975@gmail.com";
  x-sender="agarwal1975@gmail.com";
  x-conformance=sidf_compatible; x-record-type="v=spf1"
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@mail-wi0-f172.google.com) identity=helo;
  client-ip=209.85.212.172;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="agarwal1975@gmail.com";
  x-sender="postmaster@mail-wi0-f172.google.com";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: A0DVAgDUST5Vm6zUVdFchDsFgxXMMQc7EQEBAQEBAQERAQEBAQEGCwsJIS6EOREdARseAxIDBgEGNwIkAREBBQEWDDWHdAEDEZYijS6DLj4xizmBa4J2iHYKGScNVYUSAQUOj22DMYFFBZwOlBcSI4EMCYQzIjGBBIFAAQEB
X-IPAS-Result: A0DVAgDUST5Vm6zUVdFchDsFgxXMMQc7EQEBAQEBAQERAQEBAQEGCwsJIS6EOREdARseAxIDBgEGNwIkAREBBQEWDDWHdAEDEZYijS6DLj4xizmBa4J2iHYKGScNVYUSAQUOj22DMYFFBZwOlBcSI4EMCYQzIjGBBIFAAQEB
X-IronPort-AV: E=Sophos;i="5.11,657,1422918000"; 
   d="scan'208";a="137787479"
Received: from mail-wi0-f172.google.com ([209.85.212.172])
  by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 27 Apr 2015 16:40:03 +0200
Received: by wicmx19 with SMTP id mx19so85810918wic.1
        for <caml-list@inria.fr>; Mon, 27 Apr 2015 07:40:03 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20120113;
        h=mime-version:from:date:message-id:subject:to:content-type;
        bh=1lv1CMEck1+vvfDR2uNpQ7YXD8M4rppDDyTTOMej3jo=;
        b=sVj6unYibbFrQv8ZG7r0BFkzkLzE6R2+7csNh/QK1aBzmcvWlLjd0d5Qale/B3qDjR
         aMO2MLZNOXU1F3TaDleBOlTCMUe0u4KbNSWfpbePdg1vuEDEa9joq4DQOAycIhJ5K/ZE
         yCnJN6xkJZbA/Gp6xtbD9MbiLkW2UZZrzS9b0/tGD7cczSbSaQx9O9+K6BJlhaD8Pt0u
         s2rAuEvsymRwijaCvtWxXQkEwjuL3y2W0pRz45xZHVhb7jgH9/6AMjU/phBPzEEm1e/z
         VqVFVN/WAa1q7CJwb5Yemz2v/HpAOWPnXCeKB9bDZaGuY5IKuZ3sGxiHQbph1MP8nRLm
         ZMag==
X-Received: by 10.194.109.9 with SMTP id ho9mr22716200wjb.29.1430145603072;
 Mon, 27 Apr 2015 07:40:03 -0700 (PDT)
MIME-Version: 1.0
Received: by 10.27.187.136 with HTTP; Mon, 27 Apr 2015 07:39:42 -0700 (PDT)
From: Ashish Agarwal <agarwal1975@gmail.com>
Date: Mon, 27 Apr 2015 10:39:42 -0400
Message-ID: <CAMu2m2LjDbvjCpn6Bo+mVATOuk=c9zfLuoMwByf0+gd3FYz92A@mail.gmail.com>
To: Caml List <caml-list@inria.fr>
Content-Type: multipart/alternative; boundary=047d7bf10a12a5f8ed0514b5b82a
Subject: [Caml-list] inconsistent assumptions over interface

--047d7bf10a12a5f8ed0514b5b82a
Content-Type: text/plain; charset=UTF-8

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

--047d7bf10a12a5f8ed0514b5b82a
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr"><div>The error &quot;inconsistent assumptions over interfa=
ce&quot; has always been due to a build artifact not being updated after up=
grading some library. Rebuilding one&#39;s files from scratch always solves=
 the problem. However, I&#39;m in a situation where I&#39;ve recompiled eve=
rything from scratch many times, but I reproducibly get the error below. Do=
es anyone know what else I should look for?</div><div><br></div><div>It&#39=
;s Eliom related, though I don&#39;t know why that would matter.</div><div>=
<br></div><div># Error: The files ~/.opam/4.02.1/lib/eliom/client/eliom_per=
vasives.cmi</div><div># =C2=A0 =C2=A0 =C2=A0 =C2=A0and ../_server/foo.cmi m=
ake inconsistent assumptions</div><div># =C2=A0 =C2=A0 =C2=A0 =C2=A0over in=
terface Eliommod_parameters</div><div># *** omake: targets were not rebuilt=
 because of errors:</div><div># =C2=A0 =C2=A0_build/lib/_client/foo.cmi</di=
v><div># =C2=A0 =C2=A0 =C2=A0 depends on: _build/lib/foo.eliom</div><div># =
=C2=A0 =C2=A0_build/lib/_client/foo.cmo</div><div># =C2=A0 =C2=A0 =C2=A0 de=
pends on: _build/lib/foo.eliom</div><div><br></div></div>

--047d7bf10a12a5f8ed0514b5b82a--