ocaml嵌套模块：实现ml与接口cmi不匹配

Question

使用由opam安装的ocaml 4.01.0和核心111.17.00。

我有两个可能相关的问题，可以归结为以下简化模块。

我有一个包含内部模块（Foo）的外部模块（此处为Zee）。 我的主程序在xx.ml中。

第一个问题是，当我使用corebuild xx.byte构建时，出现错误消息：

File "zee.ml", line 1:
Error: The implementation zee.ml does not match the interface zee.cmi:
       The field `Foo' is required but not provided

第二个问题，可能是由于我在做任何错误而导致该错误的原因，如果我在下面的xx.ml中取消注释掉了注释的代码，则会得到：

File "xx.ml", line 3, characters 23-32:
Error: Unbound module Zee.Foo

我是ocaml的新手，但是我还有其他带有嵌套模块的代码似乎在起作用。 我无法弄清楚这种情况会导致这些错误的不同之处。 关于在我所缺少的其他模块中声明模块签名是否有什么需要？

这是代码（如标头所示的独立文件）：

(**** zee.mli ****)
module type Foo = sig
  val x : int
end

val bar : int

(**** zee.ml ****)
module Foo = struct
  let x = 10
end

let bar = 20

(**** xx.ml ****)
open Core.Std

(*
let () = printf "%d\n" Zee.Foo.x
*)

let () =
  printf "%d\n" Zee.bar

corebuild的完整输出和上面的代码完全相同：

bash# rm -rf _build && corebuild xx.byte
ocamlfind ocamldep -syntax camlp4o -package bin_prot.syntax -package sexplib.syntax,comparelib.syntax,fieldslib.syntax,variantslib.syntax -package core -modules xx.ml > xx.ml.depends
ocamlfind ocamldep -syntax camlp4o -package bin_prot.syntax -package sexplib.syntax,comparelib.syntax,fieldslib.syntax,variantslib.syntax -package core -modules zee.mli > zee.mli.depends
ocamlfind ocamlc -c -w A-4-33-40-41-42-43-34-44 -strict-sequence -g -annot -bin-annot -short-paths -thread -syntax camlp4o -package bin_prot.syntax -package sexplib.syntax,comparelib.syntax,fieldslib.syntax,variantslib.syntax -package core -o zee.cmi zee.mli
ocamlfind ocamlc -c -w A-4-33-40-41-42-43-34-44 -strict-sequence -g -annot -bin-annot -short-paths -thread -syntax camlp4o -package bin_prot.syntax -package sexplib.syntax,comparelib.syntax,fieldslib.syntax,variantslib.syntax -package core -o xx.cmo xx.ml
ocamlfind ocamldep -syntax camlp4o -package bin_prot.syntax -package sexplib.syntax,comparelib.syntax,fieldslib.syntax,variantslib.syntax -package core -modules zee.ml > zee.ml.depends
ocamlfind ocamlc -c -w A-4-33-40-41-42-43-34-44 -strict-sequence -g -annot -bin-annot -short-paths -thread -syntax camlp4o -package bin_prot.syntax -package sexplib.syntax,comparelib.syntax,fieldslib.syntax,variantslib.syntax -package core -o zee.cmo zee.ml
+ ocamlfind ocamlc -c -w A-4-33-40-41-42-43-34-44 -strict-sequence -g -annot -bin-annot -short-paths -thread -syntax camlp4o -package bin_prot.syntax -package sexplib.syntax,comparelib.syntax,fieldslib.syntax,variantslib.syntax -package core -o zee.cmo zee.ml
File "zee.ml", line 1:
Error: The implementation zee.ml does not match the interface zee.cmi:
       The field `Foo' is required but not provided
Command exited with code 2.

Answer 1

因为你说

module type Foo =
sig
  val x : int
end

而你的意思

module Foo :
sig
  val x : int
end

第一条语句声明模块类型 Foo并为此模块类型指定（请注意， =符号的使用使人联想到绑定）。 然后，可以使用模块类型为函子指定期望的参数签名，或过滤实现Foo的超集的模块的签名 。

第二条语句声明一个模块 Foo并指定（请注意:字符的使用，使人联想起类型约束）此模块的签名。

File "zee.ml", line 1:
Error: The implementation zee.ml does not match the interface zee.cmi:
       The field `Foo' is required but not provided

这是因为您曾在接口文件中承诺未在实现文件中实现的模块类型 Foo ，而是使用此接口实现了模块 。

File "xx.ml", line 3, characters 23-32:
Error: Unbound module Zee.Foo

这是因为模块定义被接口文件隐藏了。