接口不一致的假设（Ocaml） [英] Inconsistent assumptions over interface (Ocaml)

问题描述

我突然开始得到这个错误。我不知道如何诊断或修复它。我应该通过 bar.ml grep，并检查每个Big_int函数签名 Big_int.mli ？

I suddenly started to get this error. I don't know how to diagnose or fix it. Am I supposed to grep through bar.ml and check every Big_int function against signature in Big_int.mli?

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。

Generally this message means that one .mli file has been recompiled recently but not the other. Since one of the .mli files is in your OCaml library, it might mean that you've upgraded your OCaml installation but haven't recompiled bar.mli since then.

如果你只是重新编译bar.mli会发生什么？

What happens if you just recompile bar.mli?

这篇关于接口不一致的假设（Ocaml）的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！