The Coq mailing list

[Kirill Taran <kirill.t256 AT gmail.com>]

Hello,

I just tried to run ocaml REPL and encountered the problem:
"Error: The files ./plugins/extraction/miniml.cmi and ./checker/term.cmi make inconsistent assumptions over interface Term."
I ran REPL with the following command:

~/kirillt/coq $ ocaml -rectypes `find -iname "*.ml" | xargs dirname | uniq | sed s/^/-I\ /g` plugins/extraction/extract_env.ml
(`find -iname "*.ml" | xargs dirname | uniq | sed s/^/-I\ /g` becomes "-I ./checker \n -I ./config ...")

Perhaps, some compiler extensions should be enabled (like -rectypes)?

Also, I encountered the same problem when I tried to use "merlin" plugin for vim.
And maybe my recent issue with ocamldebug is related, too?

The project is build from trunk (last commit is 28 November by xclerc).

Sincerely,
Kirill Taran