ocaml - 关于基本文件组织

Question

在文件 testmodule.ml

module TestModule =
struct
  type my_type = MyType1 | MyType2
end

如何在顶层使用 TestModule？

在“ocamlc -c testmodule.ml”之后(这会生成 testmodule.cmo/cmi)

我尝试“打开 TestModule”，但出现错误“未绑定(bind)模块 TestModule”。

        Objective Caml version 3.10.0

# open TestModule;;
Unbound module TestModule

然后，我尝试使用该模块进行顶层设计。但...

indi@www:~/std/toq$ ocamlmktop -o mytop testmodule.ml
indi@www:~/std/toq$ ./mytop
        Objective Caml version 3.10.0

# TestModule.MyType1;;
Unbound constructor TestModule.MyType1
# open TestModule;;
Unbound module TestModule

我可以用我的 TestModule 做什么？？？

Answer 1

您可以在顶层使用的指令列出 in the manual .

你可以试试#use "testmodule.ml";; ，或者，或者，#load "testmodule.cmo";;在编译完你的模块之后。