ocaml - バインドされていないモジュールで ocamldoc が失敗するのはなぜですか?

Question

以下は、test.mliocamldoc スタイルのコメントでコメントされた interface の例です。

(** ocamldoc module comment *)
open MissingModule;;
(** ocamldoc function comment *)
val test : unit;;

コマンドを実行するocamldoc test.mliと、次のエラーが表示されます。

File "test.mli", line 2, characters 0-9:
Error: Unbound module MissingModule
1 error(s) encountered

なぜドキュメンテーションジェネレーターはバインドされていないモジュールを気にする必要があるのですか?

Answer 1

これは、ocamldoc型名を完全修飾するためです。ファイル：

open MissingModule

val f: foo -> unit

に翻訳されます

val f: MissingModule.foo -> unit

そして、 inMissingModule.fooの定義への素敵な相互参照になります( ifが の引数として与えられた場合)。fooMissingModulemissingModule.mliocamldoc

答えを完成させるには、タイプ ID を完全に修飾するために、処理しているファイルをタイプする必要があります。そのocamldocため、対応するファイルにアクセスできる必要があり.cmiます。