* [Caml-list] "interface mismatch" in camlp4
@ 2012-06-01 15:46 Dan Bensen
2012-06-01 18:28 ` Fermin Reig
0 siblings, 1 reply; 3+ messages in thread
From: Dan Bensen @ 2012-06-01 15:46 UTC (permalink / raw)
To: caml-list
[-- Attachment #1: Type: text/plain, Size: 418 bytes --]
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.
[-- Attachment #2: Type: text/html, Size: 683 bytes --]
^ permalink raw reply [flat|nested] 3+ messages in thread* Re: [Caml-list] "interface mismatch" in camlp4
2012-06-01 15:46 [Caml-list] "interface mismatch" in camlp4 Dan Bensen
@ 2012-06-01 18:28 ` Fermin Reig
2012-06-01 19:22 ` Dan Bensen
0 siblings, 1 reply; 3+ messages in thread
From: Fermin Reig @ 2012-06-01 18:28 UTC (permalink / raw)
To: Dan Bensen, caml-list
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
^ permalink raw reply [flat|nested] 3+ messages in thread* Re: [Caml-list] "interface mismatch" in camlp4
2012-06-01 18:28 ` Fermin Reig
@ 2012-06-01 19:22 ` Dan Bensen
0 siblings, 0 replies; 3+ messages in thread
From: Dan Bensen @ 2012-06-01 19:22 UTC (permalink / raw)
To: Fermin Reig, caml-list
[-- Attachment #1: Type: text/plain, Size: 1038 bytes --]
> 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
[-- Attachment #2: Type: text/html, Size: 1778 bytes --]
^ permalink raw reply [flat|nested] 3+ messages in thread
end of thread, other threads:[~2012-06-01 19:22 UTC | newest]
Thread overview: 3+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2012-06-01 15:46 [Caml-list] "interface mismatch" in camlp4 Dan Bensen
2012-06-01 18:28 ` Fermin Reig
2012-06-01 19:22 ` Dan Bensen
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).