无限价值 OCAML

Question

我正在尝试将 Orange 编译为 OTAWA 的一部分但是我在文件 wcee.ml 中收到以下错误 Error: Unbound value IMap.print_ordered 错误的原因是下面的片段。

  let glb = common

  (** Least upper bound. *)
  let lub = IMap.combine max

  (** Pretty printer. *)
  let print = IMap.print CostItem.print Format.pp_print_int

  (** Full printing. *)
  let print_complete = IMap.print_ordered ~first:"" ~firstbind:">> " ~last:"" ~sep:"@\n" CostItem.print CostItem.known Format.pp_print_int
end

这是什么原因？

Answer 1

TL,DR: 乍一看，该项目目前可能只是 FTBFS（无法从源代码构建）？反正我没有尝试自己编译，不过你可能想联系维护OTAWA的TRACES research team问问？（例如，给 Pr. CASSÉ 发邮件……）

更多详情：

最新版本的源代码似乎在 this URL: wcee.ml,
这取决于 tMap.ml,
你说的函数是通过module IMap = TMap.Make(CostItem)定义的，这取决于tMap编译单元中的Make仿函数，确实好像没有提供print_ordered功能，
因此出现 Unbound value 错误（这意味着“此函数未定义！”）

无限价值 OCAML

Unbounded Value OCAML

ocaml

makefile

ocamlbuild