如何解决没有为以下模块Mtime_clock,Mtime提供任何实现
在我的项目中,我正在使用按照以下说明安装的OCanren软件包:https://github.com/JetBrains-Research/OCanren#Installation。
我有一个文件test.ml
,使用OCanren:
open OCanren
let _ = inj
在同一目录中还有一个dune
文件:
(executable
(name test)
(libraries ocanren mtime mtime.clock.os mtime.clock mtime.top)
(flags (:standard -rectypes)))
这是我尝试生成可执行文件时遇到的问题:
$ dune build test.exe
File "_none_",line 1:
Error: No implementations provided for the following modules:
Mtime_clock referenced from ~/.opam/4.07.1+fp+flambda/lib/ocanren/OCanren.cmxa(Timer)
Mtime referenced from ~/.opam/4.07.1+fp+flambda/lib/ocanren/OCanren.cmxa(Timer),~/.opam/4.07.1+fp+flambda/lib/ocanren/OCanren.cmxa(Core)
Done: 19/20 (jobs: 1)(base)
如何提供Mtime_clock和Mtime的实现?
解决方法
解决方案是将Mtime程序包放在unit
文件中的OCanren之前:
dune
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。