OCaml Forge
SCM

Detail: [#919] Unable to compile macaque, interface query mismatch

Bugs: Browse | Download .csv | Monitor

[#919] Unable to compile macaque, interface query mismatch

Date:
2011-02-21 10:55
Priority:
3
State:
Open
Submitted by:
Sylvain Le Gall (gildor-admin)
Assigned to:
Gabriel Scherer (bluestorm)
Hardware:
None
Resolution:
Fixed
Severity:
None
Version:
None
Component:
None
Operating System:
All
Product:
None
 
URL:
Summary:
Unable to compile macaque, interface query mismatch

Detailed description
Here is the output:

gildor@yotta(sid-amd64/chroot):~/tmp/macaque/src$ make
ocamlbuild -tag annot macaque.cma
Finished, 1 target (0 cached) in 00:00:00.
+ ocamlfind ocamlc -c -annot -package pgocaml -o query.cmo query.ml
File "query.ml", line 1, characters 0-1:
Error: The implementation query.ml does not match the interface query.cmi:
Modules do not match:
sig
...
val bind : 'a monad -> ('a -> 'b monad) -> 'b monad
val return : 'a -> 'a monad
end
The field `Simple_thread' is required but not provided
Command exited with code 2.
Compilation unsuccessful after building 31 targets (0 cached) in 00:00:02.
make: *** [macaque.cma] Erreur 10

I use OCaml 3.11.2 and calendar 2.01.1, lwt 2.1.1, pgocaml 1.4.

Cheers
Sylvain

Followup

Message
Date: 2011-02-21 11:07
Sender: Gabriel Scherer

This is a known bug between the "beta 3" version of Macaque and recent versions of Pg'OCaml. It has been fixed in the darcs development tree:
https://forge.ocamlcore.org/anonscm/darcs/macaque/macaque
Following is the relevant commit diff:
http://darcs.ocamlcore.org/cgi-bin/darcsweb.cgi?r=macaque;a=filediff;h=20101102145221-47a15-64e56cc31c6a7a329251834d1e84f0a21045ec6a.gz;f=src/query.mli

Thanks for the report: I'll probably push a new beta with the current darcs tree, as it contains useful fixes (also for 3.12 compilation).

Attached Files:

Changes:

Field Old Value Date By
details Here is the output: gildor@yotta(sid-amd64/chroot):~/tmp/macaque/src$ make ocamlbuild -tag annot macaque.cma Finished, 1 target (0 cached) in 00:00:00. + ocamlfind ocamlc -c -annot -package pgocaml -o query.cmo query.ml File "query.ml", line 1, characters 0-1: Error: The implementation query.ml does not match the interface query.cmi: Modules do not match: sig ... val bind : \'a monad -> (\'a -> \'b monad) -> \'b monad val return : \'a -> \'a monad end The field `Simple_thread\' is required but not provided Command exited with code 2. Compilation unsuccessful after building 31 targets (0 cached) in 00:00:02. make: *** [macaque.cma] Erreur 10 I use OCaml 3.11.2 and calendar 2.01.1, lwt 2.1.1, pgocaml 1.4. Cheers Sylvain2011-02-21 11:07bluestorm
Operating SystemLinux2011-02-21 11:07bluestorm
ResolutionNone2011-02-21 11:07bluestorm