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 AD29B7ED28 for ; Fri, 1 Jun 2012 17:46:53 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AkMCAK/jyE9iiyzAhmdsb2JhbABFgkWyGgEBAQoJCwcWJ4IPUAEBAQE2ARwBiS4BAwukS4QuAQUBhGkCSAWJTwEGjW6DFohDhD6IIoEIhEAtjHk X-IronPort-AV: E=Sophos;i="4.75,698,1330902000"; d="scan'208,217";a="146203940" Received: from nm29-vm0.access.bullet.mail.sp2.yahoo.com ([98.139.44.192]) by mail4-smtp-sop.national.inria.fr with SMTP; 01 Jun 2012 17:46:37 +0200 Received: from [98.139.44.104] by nm29.access.bullet.mail.sp2.yahoo.com with NNFMP; 01 Jun 2012 15:46:35 -0000 Received: from [98.139.44.78] by tm9.access.bullet.mail.sp2.yahoo.com with NNFMP; 01 Jun 2012 15:46:35 -0000 Received: from [127.0.0.1] by omp1015.access.mail.sp2.yahoo.com with NNFMP; 01 Jun 2012 15:46:35 -0000 X-Yahoo-Newman-Property: ymail-3 X-Yahoo-Newman-Id: 915504.6319.bm@omp1015.access.mail.sp2.yahoo.com Received: (qmail 45682 invoked by uid 60001); 1 Jun 2012 15:46:35 -0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=att.net; s=s1024; t=1338565594; bh=YhODe1asj9NOJRU/hFeznqLdHXShqD4e+J34LpYuLLw=; h=X-YMail-OSG:Received:X-Mailer:Message-ID:Date:From:Subject:To:MIME-Version:Content-Type; b=Pr9I/+KgA9zu1AJCqoRQO5jxF5qxkiml/E4kv5TbVAyb4/0RAjWCRxkj5abztedRmyVuNhPvLaVv+Lw595Wvv5UaYxMMxJZPhjXYUpWPcRBefvNZ1PEtrLLbm0QU2ZvirCq1Jop753ysW6Y/dMkjm3lWCk6E0MOhYqoqIrW89ek= DomainKey-Signature:a=rsa-sha1; q=dns; c=nofws; s=s1024; d=att.net; h=X-YMail-OSG:Received:X-Mailer:Message-ID:Date:From:Subject:To:MIME-Version:Content-Type; b=yVYkokvTkT+s1O/biYPovSX1dcZ+skt12qz+3di+Q/naXuaViKc75xg7seIWxu17O1hBtVoXk6Q1iXMrUybswbPhGEP1eTezGNCbtp6L3ohowmPqnFKxOpRlg8piLyuQDtL+qMDHjJc8Im986VFzt0vg8JW4l6LJ98XpjaVGRI0=; X-YMail-OSG: PbT57NoVM1kD3NpyVMuae_dP3fmqj0.L7BoLb3Zr.n.n6nm lvx4hlxVBu5obp6egwpqVeLIkmkP9jQrLWjPiWQY5HiCWLody4CRALuNnWyi NeS.10foFjZNbn1rSW3ykb8yQOxXc4p7cOynfVoMJwbpOVEhTh1V5aSrzVtJ pdFJqEgvKIsvm279kQey27PfajKAXwL8R0TPd20.3GphvnXkWfDwWDr8fnOR DPbwELYYObKRtEVN7B9rdsJrMz93RRxuIBRR1fdPAureVS3A8_cZvmfkTd0x H4.LRLAvHMbMgb6ZOfO_e4DKhHENp4JV5XdIsEJ8rBZbAYKQFIWXkCPMw8LY 4uSZubQNfVuHYLjdCbJjS4N7.KMpcBO477mroaj6H9c49UhKJDVVag16LGez KdXu66b5TAwxurfaGredj3tMC63PupTVED.JeH13ZD32CXWmLu4Adn0Kz Received: from [70.225.167.134] by web180015.mail.gq1.yahoo.com via HTTP; Fri, 01 Jun 2012 08:46:34 PDT X-Mailer: YahooMailRC/708 YahooMailWebService/0.8.118.349524 Message-ID: <1338565594.20475.YahooMailRC@web180015.mail.gq1.yahoo.com> Date: Fri, 1 Jun 2012 08:46:34 -0700 (PDT) From: Dan Bensen To: caml-list@inria.fr MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="571421679-1785283674-1338565594=:20475" Subject: [Caml-list] "interface mismatch" in camlp4 --571421679-1785283674-1338565594=:20475 Content-Type: text/plain; charset=us-ascii 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. --571421679-1785283674-1338565594=:20475 Content-Type: text/html; charset=us-ascii
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.

--571421679-1785283674-1338565594=:20475-- 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 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 13B977ED27 for ; Fri, 1 Jun 2012 21:22:28 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AkQCABEWyU9iiyymhmdsb2JhbABFgkWyHQEBAQoJCwcWJ4IYAQEEAUABAQEBNgEDCwsEDQQBAQEuTwgGARKHfAEDBgWkUIQuAQUBhF0CSAWJTwEGiw8nhU6IQ4Q+iCKBCIRALYx5gTg X-IronPort-AV: E=Sophos;i="4.75,698,1330902000"; d="scan'208,217";a="146221592" Received: from nm16-vm0.access.bullet.mail.sp2.yahoo.com ([98.139.44.166]) by mail4-smtp-sop.national.inria.fr with SMTP; 01 Jun 2012 21:22:20 +0200 Received: from [98.139.44.105] by nm16.access.bullet.mail.sp2.yahoo.com with NNFMP; 01 Jun 2012 19:22:19 -0000 Received: from [98.139.44.70] by tm10.access.bullet.mail.sp2.yahoo.com with NNFMP; 01 Jun 2012 19:22:19 -0000 Received: from [127.0.0.1] by omp1007.access.mail.sp2.yahoo.com with NNFMP; 01 Jun 2012 19:22:19 -0000 X-Yahoo-Newman-Property: ymail-3 X-Yahoo-Newman-Id: 220838.81135.bm@omp1007.access.mail.sp2.yahoo.com Received: (qmail 80076 invoked by uid 60001); 1 Jun 2012 19:22:18 -0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=att.net; s=s1024; t=1338578538; bh=9nmmjlm2MMq1cHWBFw/lrzxcHRT9jo3xs3Q4D2HmBSI=; h=X-YMail-OSG:Received:X-Mailer:References:Message-ID:Date:From:Subject:To:In-Reply-To:MIME-Version:Content-Type; b=hX9todtHzT5atcWPdvLW2oAHO8IjmzSqoxCB7FEo6iSstStpxd+UNpFr5FSGrD3B3XezaWs+MZWSb2q5BDJVuk0Y2T3E0RgI/TcItha7C+N7c9cT75T+dX2g+5s2zIs9dtC9+gXa1uqyobt8jz+pN601Lz48AAjxDq0OeXKuzZE= DomainKey-Signature:a=rsa-sha1; q=dns; c=nofws; s=s1024; d=att.net; h=X-YMail-OSG:Received:X-Mailer:References:Message-ID:Date:From:Subject:To:In-Reply-To:MIME-Version:Content-Type; b=xSDIfD2LiAvvUk1H5RtI9FMpz0VLvT2wNDTNsGdWVQ7F71yh4MtNF9k9CdtpYWquyIrahI+RZHzPsvbbikyYLecC/+jwvd32Xz6HgmUvcG6KkZrizhczHOL33BkQmDC7C8ROaCWDaSjxBeYvweoXFDdDwTOLh4BwSiGQcyuPb2E=; X-YMail-OSG: j8lLfeYVM1mTeiapTll1bsxYGvYpXQ.SyVJ_EPyG2_HDVZx 8rbhYDoX8FfylCMIhR_EKv2P899spWTg_GYcmPLXDpstkSn.fT3B.WAuQcA_ yAP35GA1_Rq9owUw7ofXXDsvl61F6w55pg.wpaijKKQcEnbiTiiDbKzHjiQD KHdp1RB1LGYHi.nP9d3aDcxXEve5afMTDzqkCb7.eqSc5IssCwrrNgGs9pm3 vZeo5jBCJ4GIr7tqOTeTcyRGRPx0N2XmE8AfzdmM598XZqa.bTd5eD9lPcOB Ttkqk6jMO5yd0r3cAfU9AECgv0.LFzm.zdIZ0wZCUboEfkeNlPRVgiYFvdzq EszkQIYNp.0dUg98HWAdsQb4tMyZfZkRF38YAtYLFqEyRB1UyLaakOdYk3Og 1Ritf845w_IUvvu_lzA5Seyscaq9TBVsydaQCvdcYJV0AZfaQUbShnAVShFo 3pHBPZNs- Received: from [70.225.167.134] by web180009.mail.gq1.yahoo.com via HTTP; Fri, 01 Jun 2012 12:22:18 PDT X-Mailer: YahooMailRC/708 YahooMailWebService/0.8.118.349524 References: <1338565594.20475.YahooMailRC@web180015.mail.gq1.yahoo.com> <4FC909BD.60306@acm.org> Message-ID: <1338578538.66544.YahooMailRC@web180009.mail.gq1.yahoo.com> Date: Fri, 1 Jun 2012 12:22:18 -0700 (PDT) From: Dan Bensen To: Fermin Reig , caml-list@inria.fr In-Reply-To: <4FC909BD.60306@acm.org> MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="457990859-561526315-1338578538=:66544" Subject: Re: [Caml-list] "interface mismatch" in camlp4 --457990859-561526315-1338578538=:66544 Content-Type: text/plain; charset=us-ascii > I had a similar problem recently. In my case, it was > resolved by upgrading ocaml from 3.12.0 to 3.12.1. I'm running 3.12.1 on godi. ________________________________ From: Fermin Reig To: Dan Bensen ; caml-list@inria.fr Sent: Fri, June 1, 2012 8:28:27 PM 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 --457990859-561526315-1338578538=:66544 Content-Type: text/html; charset=us-ascii
> I had a similar problem recently. In my case, it was
> resolved by upgrading ocaml from 3.12.0 to 3.12.1.

I'm running 3.12.1 on godi.

From: Fermin Reig <reig@acm.org>
To: Dan Bensen <danbensen@att.net>; caml-list@inria.fr
Sent: Fri, June 1, 2012 8:28:27 PM
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
--457990859-561526315-1338578538=:66544--