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 mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by sympa.inria.fr (Postfix) with ESMTPS id 9B03D7ED26 for ; Fri, 1 Jun 2012 20:28:17 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApkBACEJyU9CbwQdkWdsb2JhbABFgx2xIyIBAQEBBw0LBxQEI4IYAQEFOAg6DwsYCSUPAkYGAQwIAQGIBwSkR4Q0jwMGizaFTpYrhECNB4FX X-IronPort-AV: E=Sophos;i="4.75,698,1330902000"; d="scan'208";a="146218847" Received: from out5-smtp.messagingengine.com ([66.111.4.29]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/ADH-AES256-SHA; 01 Jun 2012 20:28:16 +0200 Received: from compute5.internal (compute5.nyi.mail.srv.osa [10.202.2.45]) by gateway1.nyi.mail.srv.osa (Postfix) with ESMTP id C6CC021106; Fri, 1 Jun 2012 14:28:15 -0400 (EDT) Received: from frontend2.nyi.mail.srv.osa ([10.202.2.161]) by compute5.internal (MEProxy); Fri, 01 Jun 2012 14:28:15 -0400 DKIM-Signature: v=1; a=rsa-sha1; c=relaxed/relaxed; d= messagingengine.com; h=message-id:date:from:mime-version:to :subject:references:in-reply-to:content-type :content-transfer-encoding; s=smtpout; bh=vFLpGWCpBvqga9xZe79f7g TGOAk=; b=Jlxd4UPBJyYUn4K1iIjom5hSv5+Rsfpd1mg0XhGBn6u+fcJEoNdcS4 1dND2Y9BWyM1bq4bJu5v76ThHtxymel1u0+ysdbgLtcjV+Z7I2wwDQx3Ieps20vt +BacpOU6XJOTrHk6Xh4oMCBP4VdMcnz2cuzBpR/r21H6Xj0hTKCE8= X-Sasl-enc: 4gcE+HJT5N0ce3bK4KT6qQ9NHGZPtEWmmuItpUaJVcac 1338575295 Received: from [192.168.1.34] (unknown [88.24.6.162]) by mail.messagingengine.com (Postfix) with ESMTPA id 1512648360A; Fri, 1 Jun 2012 14:28:14 -0400 (EDT) Message-ID: <4FC909BD.60306@acm.org> Date: Fri, 01 Jun 2012 19:28:13 +0100 From: Fermin Reig User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:10.0.2) Gecko/20120216 Thunderbird/10.0.2 MIME-Version: 1.0 To: Dan Bensen , caml-list@inria.fr References: <1338565594.20475.YahooMailRC@web180015.mail.gq1.yahoo.com> In-Reply-To: <1338565594.20475.YahooMailRC@web180015.mail.gq1.yahoo.com> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Subject: Re: [Caml-list] "interface mismatch" in camlp4 On 01/06/12 16:46, Dan Bensen wrote: > Is there any documentation on this error somewhere? > I have no idea what it means. > > > $ camlp4rf _build/Metl.cmo _build/MetlString.cmo rules.ml > > Camlp4: Uncaught exception: DynLoader.Error > > ("./_build/MetlString.cmo", "interface mismatch on Metl") > > The first module (Metl) contains a functor, and > the second one (MetlString) supplies an argument module > and calls the functor. Both of them extend the PreCast > parser. > I had a similar problem recently. In my case, it was resolved by upgrading ocaml from 3.12.0 to 3.12.1. Apparently, camlp4 is buggy in 3.12.0 (so I was told, and upgrading fixed the problem for me) HTH