数据记录需要字段“解锁”

Question

编译 OCaml 应用程序时出现以下错误：

  File "/tmp/ocamlpp466ee0", line 308, characters 34-233:
  Error: Signature mismatch:
   ...
   The field `unlock' is required but not provided
   The field `lock' is required but not provided
  Command exited with code 2.

我的猜测是该错误与 OCaml 库 Datalog 相关（我从 here 安装了 0.3 版），因为文件中的第 308 行是 /tmp/ocamlpp466ee0 以下代码中的第一个

module Logic = Datalog.Logic.Make(struct
  type t = atom
  let equal = eq_atom
  let hash = hash_atom
  let to_string a = Utils.sprintf "%a" pp_atom a
  let of_string s = atom_of_json (Json.from_string s)
end)

如果有人能帮助我知道我做错了什么，我将不胜感激。

此外，我想不明白为什么每次执行“make”时都会生成文件/tmp/ocamlpp466ee0？我试图通过阅读 Makefile 来理解，但没有成功。

Answer 1

1. 我认为 Datalog 库中发生了一些变化，并且在某些版本中 > 0.3 仿函数 Datalog.Logic.Make 需要声明值 lock 和 unlock 的模块参数。所以，是版本问题。

2. 关于临时文件。如您所见，它的名称由 ocaml 字面量、pp 表示预处理器和一些数字组成。 OCaml 中的预处理器通常以这种方式工作：它们读取输入源文件并写入输出源文件。这就是创建一些临时文件的原因。