ocaml - 没有为以下模块提供实现(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 的实现?
解决方案
解决方案是在dune
文件中将 Mtime 包放在 OCanren 之前:
(executable
(name test)
(libraries mtime mtime.clock.os ocanren)
(flags (:standard -rectypes)))
推荐阅读
- django - 在 Django Rest Framework + Angular 应用程序中进行 CSRF 保护的推荐方法是什么?
- c# - 拆分过长的字符串
- javascript - 事件“单击”嵌套在 axios 响应中 - VueJS
- javascript - 结合谷歌地图(基本的 Javascript 问题)
- reactjs - 测试运行时模拟商店抛出错误
- oauth-2.0 - Oauth 同意屏幕表格
- c# - 在 ASP.NET Core 上调用 Debug.BreakAll 时避免跳转到 Visual Studio 2017 中的 Program.cs
- java - 恢复线程后不停止处理
- php - `print_r($mysqli,1)` 改变 `$mysqli->affected_rows `
- c++ - Arduino编程添加毫秒延迟