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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id BB6117FCCB for ; Mon, 27 Apr 2015 17:02:51 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of daniel.buenzli@erratique.ch) identity=pra; client-ip=74.55.86.74; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="daniel.buenzli@erratique.ch"; x-sender="daniel.buenzli@erratique.ch"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of daniel.buenzli@erratique.ch) identity=mailfrom; client-ip=74.55.86.74; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="daniel.buenzli@erratique.ch"; x-sender="daniel.buenzli@erratique.ch"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@smtp.webfaction.com) identity=helo; client-ip=74.55.86.74; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="daniel.buenzli@erratique.ch"; x-sender="postmaster@smtp.webfaction.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0CIAQBUTj5VnEpWN0pCGoNfXAGDGcUAhgQCgW0RAQEBAQEBAREBAQEBAQgLCQkhLoQhAQEDASNWBQsLGgImAgJHEAYbiBsIBAk4sl+TcAEBAQEBBQEBAQEBHYEhiRWBAoQ6SweCaC+BFgWVVogXhUsPjiiCKR2BU20BgkMBAQE X-IPAS-Result: A0CIAQBUTj5VnEpWN0pCGoNfXAGDGcUAhgQCgW0RAQEBAQEBAREBAQEBAQgLCQkhLoQhAQEDASNWBQsLGgImAgJHEAYbiBsIBAk4sl+TcAEBAQEBBQEBAQEBHYEhiRWBAoQ6SweCaC+BFgWVVogXhUsPjiiCKR2BU20BgkMBAQE X-IronPort-AV: E=Sophos;i="5.11,657,1422918000"; d="scan'208";a="137792253" Received: from mail6.webfaction.com (HELO smtp.webfaction.com) ([74.55.86.74]) by mail2-smtp-roc.national.inria.fr with ESMTP; 27 Apr 2015 17:02:50 +0200 Received: from [172.20.10.2] (234.228.197.178.dynamic.wless.zhbmb00p-cgnat.res.cust.swisscom.ch [178.197.228.234]) by smtp.webfaction.com (Postfix) with ESMTP id 0540D26E9551; Mon, 27 Apr 2015 15:02:48 +0000 (UTC) Date: Mon, 27 Apr 2015 17:02:44 +0200 From: =?utf-8?Q?Daniel_B=C3=BCnzli?= To: Ashish Agarwal Cc: Caml List Message-ID: In-Reply-To: References: X-Mailer: sparrow 1.6.4 (build 1178) MIME-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: 7bit Content-Disposition: inline Subject: Re: [Caml-list] inconsistent assumptions over interface > 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 Don't know anything about eliom but it seems that you are trying to compile server code with client code, both seem to have a different Eliommod_parameters module. I don't know if the Eliommod_parameters cmi are supposed to be the same in both cases (if there's a discrepancy that didn't use to exist it may be due to compiling with `-keep-locs` which could result in problems along the line of [1,2] but I don't know how eliom's source is structured). Usually in these cases it's a good idea to have a look at the hash of the inconsistent .cmi files with ocamlobjinfo and try to locate the corresponding .cmi in the included dirs to get a better idea of what's going on. Best, Daniel [1] https://github.com/ocamllabs/ocaml-ctypes/issues/283 [2] http://caml.inria.fr/mantis/view.php?id=6311#c13598