无界值OCAML

Question

我试图将Orange编译为奥塔瓦的一部分，但是我在文件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的痕迹研究小组来询问吗？(例如，发电子邮件。美国科学院(CASS…)

详细信息：

• 最新版本的源代码似乎是在这个网址: wcee.ml网上发布的，
• 这取决于tMap.ml，
• 您提到的函数是通过module IMap = TMap.Make(CostItem)来定义的，它依赖于tMap编译单元中的Make函子，实际上似乎没有提供print_ordered函数，
• 因此出现了Unbound value错误(意思是“这个函数是未定义的！”)