OCaml的簽名依賴關係錯誤

Question

我有以下模塊簽名A：

module type A = 
sig 
    type exp = 
    Int of int 
    | Var of string 
end;; 

這我能爲了得到a.mli和a.cmi文件進行編譯。但是，如果我定義B：

module type B = 
sig 
    val compute : A.exp -> A.exp 
end;; 

運行ocamlc -i b.ml產生錯誤Unbound type constructor A.exp。這是爲什麼？

Answer 1

OCaml爲您提供免費的外部模塊，對應於每個源文件。所以你正在定義一個名爲A.A的模塊類型。請注意，這是一個模塊類型，而不是一個模塊。

這可能是您的a.ml（如果你喜歡a.mli）應該只包含以下內容：

type exp = Int of int | Var of string 

的話可以參考從b.ml文件A.exp。

此外，請注意a.mli是源文件文件。如果你有一個a.mli文件，你需要編譯它來創建一個.cmi文件。