OCaml 签名依赖错误

Question

我有以下模块签名A：

module type A =
 sig
  type exp =
    Int of int
    | Var of string
end;;

我可以编译它以获得a.mli 和a.cmi 文件。但是，如果我定义B:

module type B =
 sig
  val compute : A.exp -> A.exp
 end;;

运行ocamlc -i b.ml 会产生错误Unbound type constructor A.exp。这是为什么呢？

Answer 1

OCaml 免费为您提供一个外部模块，对应每个源文件。因此，您正在定义一个名为 A.A. 的模块类型。请注意，它是一个模块type，而不是一个模块。

您的 a.ml（和 a.mli，如果您愿意）可能只包含以下内容：

type exp = Int of int | Var of string

然后你可以从你的 b.ml 文件中引用 A.exp。

另外，请注意 a.mli 是一个 source 文件。如果你有a.mli文件，你需要编译它来创建a.cmi。