无限价值OCAML

编程问答 2022-06-05

问题描述

我正在尝试将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

这是什么原因？

解决方法

TL，DR：，一眼看来，该项目当前可能只是FTBFS（无法从源代码构建）吗？无论如何，我并没有尝试自己进行编译，但是您可能想与维持OTAWA要求的TRACES research team联系？ （例如，通过电子邮件发送给CASSÉ…）

更多详细信息：

  • 最新版本的源代码似乎已在this URL: wcee.ml上在线
  • 取决于tMap.ml，
  • 您提到的函数是通过{em> module IMap = TMap.Make(CostItem)定义的，{em}取决于Make编译单元中的tMap仿函数，实际上似乎没有提供print_ordered函数，
  • 出现Unbound value错误（这仅表示“ 此函数未定义！”）
makefilemakefileocamlocamlocamlbuild