Несоответствующие предположения относительно интерфейса (Ocaml)

Question

Я вдруг начал получать эту ошибку.Я не знаю, как диагностировать или исправить это.Я должен пройти через bar.ml и проверить каждую функцию Big_int по сигнатуре в 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

Answer 1

Обычно это сообщение означает, что один файл .mli был недавно перекомпилирован, но не другой. Поскольку один из файлов .mli находится в вашей библиотеке OCaml, это может означать, что вы обновили установку OCaml, но с тех пор не перекомпилировали bar.mli.

Что произойдет, если вы просто перекомпилируете bar.mli?

Answer 2

rm bar.cmi и попробуйте снова; похоже, что он был сгенерирован для другой версии Big_int.