I have two modules A.ml
and B.ml
like so:
A.ml
:
type t = int
let from_int (i : int) : t = i
B.ml
:
open A
let my_t : t = from_int 0
我可以通过调用
ocamlc A.ml B.ml
来编译它们,但我不知道如何在utop
中加载它们以便交互使用my_t
。使用:
utop -init B.ml
会产生Error: Reference to undefined global 'A'
utop
后跟#use "A.ml";;
和#use "B.ml";;
会导致相同的错误- 从
B.ml
中删除open A
使这个双重#use
工作,但是ocamlc A.ml B.ml
现在在B
上失败,并显示Error: Unbound type constructor t
。