load - ocaml 顶层模块加载

Question

我正在尝试将 .cmo 中的模块加载到顶层，我已经尝试过:

$ ocaml mymodule.cmo

我得到了顶级提示，但无法引用 Mymodule

我也尝试过

#load "mymodule.cmo"

它没有提示，但仍然无法引用 Mymodule

我也尝试过

#use "mymodule.ml"

这似乎可行，但它不会将代码加载到 Mymodule 命名空间中，这是一个问题，因为我实际上想将一些模块加载到顶层，并且它们通过模块命名空间相互引用。

Answer 1

完成后

#load "mymodule.cmo"

你可以引用你的模块，但你仍然需要使用模块名称:

Mymodule.x

如果您想使用简单的名称(x)，您还需要打开模块:

open Mymodule

这可能是您问题的根源。

这是一个展示我正在谈论的内容的 session :

$ cat mymodule.ml
let x = 14
$ ocaml312
        Objective Caml version 3.12.0
# load "mymodule.cmo";;
# x;;
Characters 0-1:
  x
  ^
Error: Unbound value x
# Mymodule.x;;
- : int = 14
# open Mymodule;;
# x;;
- : int = 14
#