Datalog要求字段“解锁”

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发布的(我已经从这里安装了版本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中的预处理程序通常是这样工作的:它们读取输入源文件和写输出源文件。这就是创建一些临时文件的原因。