ocaml - 具有不同文件的未绑定(bind)类型构造函数 OCaml

Question

我正在用 OCaml 开发一个项目，但是我在编译时遇到了问题。我有一个“未绑定(bind)类型构造函数 Door.position”。我用一个makefile编译。门.mli :

module Door : sig
  type position
  type state
  type door

  val create  : position -> state -> door
  val getState    : door -> state
  val setState    : door -> state -> door
  val getPosition : door -> position
  val setPosition : door -> position -> door
  val isOpen      : door -> bool
end;;

文件包含错误，case.mli:

module Case : sig
  type case

  val create  : int -> int -> case
  val getDoor : case -> Door.position -> Door.door
end;;

我不知道问题出在哪里。

Answer 1

在 OCaml 中，所有代码都放在文件 foo.ml 中(或 foo.mli )隐式打包到模块 Foo 中.在你的情况下，如果你有 door.mli包含名为 Door 的模块，这意味着从外部只能通过 Door.Door 访问它，即，您需要它符合文件名。

简而言之，这意味着在您的 mli 中你不需要写的文件module Door : sig ，因为它已经隐含在那里。只需写下您的签名即可。