在 OCaml utop 中使用多个模块

Question

我最近正在阅读一个 OCaml 项目，我想将源文件放在 utop 中，以便我可以做一些实验。
假设我有两个文件 amodule.ml、bmodule.ml。
bmodule.ml 将使用 amodule.ml 中定义的函数，例如 bmodule 使用 Amodule.anyfunction() 其中 anyfunction() 在 amodule.ml 中定义。
我想把它们都放在 utop 中：

#directory "/directory contain amodule.ml and bmodule.ml"
#use "amodule.ml"
#use "bmodule.ml"

这不起作用，因为我认为 Amodule 是基于 amodule.ml 文件的模块名称，而 utop 不知道这些东西。 那么如何在不改变文件内容的情况下把这些文件放到utop中呢？

Answer 1

#use a.ml 执行 a.ml 中的每个语句，就像您直接在顶层键入这些语句一样。因此，您没有定义module A，因此您的其他文件不能包含A.foo 之类的内容。如果你想要module A，你必须先字节编译a.ml，然后#load a.cmo。