Re: [Caml-list] inconsistent assumptions over interface [...]
This means that biocaml and batteries interface with different compiled versions of BatLogger. The solution is most likely to recompile on biocaml's side, so that it gets uptodate with batteries-side change. Assuming, of course, that you use Batteries's BatLogger directly instead of duplicating the code locally (in which case you have a problem at version desynchronization). On Mon, Jan 16, 2012 at 10:28 AM, Francois Berenger beren...@riken.jp wrote: Hello, When I run: $ ocamlfind ocamlopt -package batteries -linkpkg -o test_logger biocaml_logger.ml test_logger.ml I get: File test_logger.ml, line 1, characters 0-1: Error: Files biocaml_logger.cmx and /usr/local/godi/lib/ocaml/pkg-lib/batteries/batteries_uni.cmxa make inconsistent assumptions over interface BatLogger This message is not very clear to me. How can I troubleshoot this further? Should I look for some duplicated mli files somewhere? In despair, I tried: $ make clean ; make depend ; make without any improvement. :( Thanks for any help, Francois. -- Caml-list mailing list. Subscription management and archives: https://sympa-roc.inria.fr/wws/info/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs -- Caml-list mailing list. Subscription management and archives: https://sympa-roc.inria.fr/wws/info/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
Re: [Caml-list] inconsistent assumptions over interface [...]
Re-compile, and re-install biocaml. That should fix it. On Mon, Jan 16, 2012 at 4:28 AM, Francois Berenger beren...@riken.jpwrote: Hello, When I run: $ ocamlfind ocamlopt -package batteries -linkpkg -o test_logger biocaml_logger.ml test_logger.ml I get: File test_logger.ml, line 1, characters 0-1: Error: Files biocaml_logger.cmx and /usr/local/godi/lib/ocaml/pkg-**lib/batteries/batteries_uni.** cmxa make inconsistent assumptions over interface BatLogger This message is not very clear to me. How can I troubleshoot this further? Should I look for some duplicated mli files somewhere? In despair, I tried: $ make clean ; make depend ; make without any improvement. :( Thanks for any help, Francois. -- Caml-list mailing list. Subscription management and archives: https://sympa-roc.inria.fr/**wws/info/caml-listhttps://sympa-roc.inria.fr/wws/info/caml-list Beginner's list: http://groups.yahoo.com/group/**ocaml_beginnershttp://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-**bugshttp://caml.inria.fr/bin/caml-bugs -- Caml-list mailing list. Subscription management and archives: https://sympa-roc.inria.fr/wws/info/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
Re: [Caml-list] inconsistent assumptions over interface [...]
On 01/16/2012 06:54 PM, Gabriel Scherer wrote: This means that biocaml and batteries interface with different compiled versions of BatLogger. The solution is most likely to recompile on biocaml's side, so that it gets uptodate with batteries-side change. Assuming, of course, that you use Batteries's BatLogger directly instead of duplicating the code locally (in which case you have a problem at version desynchronization). There was a local copy of batLogger.ml in my source tree. I removed it and everything works fine. Thanks! :) On Mon, Jan 16, 2012 at 10:28 AM, Francois Berengerberen...@riken.jp wrote: Hello, When I run: $ ocamlfind ocamlopt -package batteries -linkpkg -o test_logger biocaml_logger.ml test_logger.ml I get: File test_logger.ml, line 1, characters 0-1: Error: Files biocaml_logger.cmx and /usr/local/godi/lib/ocaml/pkg-lib/batteries/batteries_uni.cmxa make inconsistent assumptions over interface BatLogger This message is not very clear to me. How can I troubleshoot this further? Should I look for some duplicated mli files somewhere? In despair, I tried: $ make clean ; make depend ; make without any improvement. :( Thanks for any help, Francois. -- Caml-list mailing list. Subscription management and archives: https://sympa-roc.inria.fr/wws/info/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs -- Caml-list mailing list. Subscription management and archives: https://sympa-roc.inria.fr/wws/info/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
