如何解决无限价值OCAML
我正在尝试将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
错误(这仅表示“ 此函数未定义!”)
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。