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--