0

私のプロジェクトでは、https ://github.com/JetBrains-Research/OCanren#Installation の説明に従ってインストールした OCanren パッケージを使用しています。

test.mlOCanren を使用するファイルがあります。

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 の実装を提供するにはどうすればよいですか?

4

1 に答える 1

0

dune解決策は、ファイル内の OCanren の前に Mtime パッケージを配置することでした。

(executable
  (name      test)
  (libraries mtime mtime.clock.os ocanren)
  (flags     (:standard -rectypes)))
于 2020-08-26T17:53:52.677 に答える