Perché ocamldoc ha esito negativo sui moduli non associati?

Question

Qui è un'interfaccia ad esempio test.mli, ha commentato con i commenti ocamldoc-style:

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

Se faccio funzionare l'ordine ocamldoc test.mli, ottengo il seguente errore:

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

Perché un cura generatore di documentazione su moduli non associati?

Answer 1

Questo perché ocamldoc qualifica completamente i nomi dei tipi. Il file:

open MissingModule 

val f: foo -> unit 

è tradotto in

val f: MissingModule.foo -> unit 

E MissingModule.foo diventa un bel riferimento incrociato alla definizione di foo a MissingModule (se missingModule.mli è dato come argomento di ocamldoc).

E per completare la risposta, al fine di beneficiare pienamente di tipo ident, è necessario digitare il file che si sta elaborando. Pertanto, ocamldoc deve poter accedere ai file .cmi corrispondenti.