загрузка модуля верхнего уровня ocaml

Question

Я пытаюсь загрузить свои модули в .cmo на верхний уровень, я пытался:

$ ocaml mymodule.cmo

Я получил подсказку верхнего уровня, но не смог сослаться на Mymodule

Я тоже попробовал

#load "mymodule.cmo"

Он не жаловался, но все еще не может ссылаться на Mymodule

Я тоже пытался

#use "mymodule.ml"

Кажется, это работает, но не загружает код в пространство имен Mymodule, что является проблемой, потому что я действительно хочу загрузить несколько модулей на верхний уровень, и они ссылаются друг на друга по пространству имен их модулей.

Answer 1

После того, как вы сделаете

#load "mymodule.cmo"

вы можете ссылаться на свой модуль, но вам все равно нужно использовать имя модуля:

Mymodule.x

Если вы хотите использовать простое имя (x), вам также необходимо open модуль:

open Mymodule

Это может быть источником вашей проблемы.

Вот сеанс, который показывает, о чем я говорю:

$ 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
#