OCaml - 错误：模块“Unix”不可用

Question

我一直在使用在线提供的材料研究哈佛的 CS51 class。 我正在尝试启动最终项目并下载必要的文件，但是当我尝试编译它们时，出现以下错误：

Error: Module `Unix' is unavailable (required by `Thread')
Command exited with code 2.
Compilation unsuccessful after building 18 targets (15 cached) in 00:00:00.

我还没有对我下载的代码进行任何更改，据说我应该能够在其当前的 state 中成功编译它。 任何想法为什么我可能会收到此错误？

Answer 1

只需添加

open Unix;;

在 your.ml 文件的开头

Answer 2

通常，您必须明确要求链接到Unix模块。

以下程序：

$ cat main.ml
Unix.gethostname () |> print_endline

需要像这样构建：

$ ocamlfind opt -linkpkg -package unix -o main main.ml; echo $?
0

而最低限度会因与您的错误类似的错误而失败：

$ ocamlopt -o main main.ml; echo $?
File "main.ml", line 1:
Error: No implementations provided for the following modules:
         Unix referenced from main.cmx
2

也就是说，看起来您正在使用Core ，在这种情况下（实际上以及大多数其他情况）您可能最好使用dune ：

$ cat dune
(executable
   (name main)
   (libraries unix))

$ dune build main.exe

$ ./_build/default/main.exe
amam-oy

但是，如果您要求 Dune 将您链接到Core ， Unix已经自动包含在内，因此以下dune文件也适用于上述程序：

$ cat dune
(executable
   (name main)
   (libraries core))