我突然开始收到此错误。我不知道如何诊断或修复它。我是否应该通过bar.ml进行grep并针对Big_int.mli中的签名检查每个Big_int函数？
File "foo.ml", line 1, characters 0-1:
Error: The files /home/bar.cmi
and /usr/lib/ocaml/big_int.cmi make inconsistent assumptions
over interface Big_int
最佳答案
通常，此消息表示一个.mli文件最近已重新编译，而另一文件则没有。由于.mli文件之一位于OCaml库中，因此，这可能意味着您已经升级了OCaml安装，但此后未重新编译bar.mli。
如果仅重新编译bar.mli会发生什么？
关于compiler-errors - 关于接口(interface)的不一致假设(Ocaml)，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/9166489/