如何解决 OCaml 循环构建错误？

Question

我的代码产生了循环构建错误，我查找了该错误。此页面提供了一个类似但较小的示例，说明我的 .mli 文件中的内容：https://ocaml.org/learn/tutorials/ocamlbuild/New_kinds_of_build_errors.html

本质上，问题在于我的文件既定义了类型又定义了使用相同类型的参数和返回值的函数。然而，这正是我想要我的程序做的。我的类型不是私有的，它在 .mli 文件中明确声明：

type state = {
 current_pos : int*int;
 contents : int*int list;
}

val update_state : state -> state

在我看来，构建一个定义类型的模块然后与其他文件共享该类型似乎是合理的，但循环构建错误似乎总是会阻止这种情况。有没有一些“更合适”的分享方式？

Answer 1

您发布的代码没有任何问题。它编译得很好。所以问题出在你的 .ml 文件中。

您指向的页面显示不正确的代码。唯一的一点是，如果你使用 ocamlbuild，你会得到一个不同的错误，而不是你直接编译文件。

关键是您不应该在模块的定义中使用模块的名称。

而不是这个（在 a.ml 中）：

type t = int
let x : A.t = 14

你应该有这个：

type t = int
let x: t = 14

如果你的代码真的像这个例子，你只需要删除 .ml 文件中的模块名称。

正如您所说，您想要做的是迄今为止最常见的模块用法。