Tại sao ocamldoc thất bại trên các mô-đun không bị ràng buộc?

Question

Dưới đây là một giao diện ví dụ test.mli, nhận xét với ocamldoc kiểu nhận xét:

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

Nếu tôi chạy lệnh ocamldoc test.mli, tôi nhận được lỗi sau:

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

Tại sao nên chăm sóc phát tài liệu về mô-đun không liên kết?

Answer 1

Đó là vì ocamldoc tên loại đủ điều kiện. Các tập tin:

open MissingModule 

val f: foo -> unit 

được phiên dịch sang

val f: MissingModule.foo -> unit 

Và MissingModule.foo trở thành một đẹp tham chiếu chéo tới định nghĩa của foo trong MissingModule (nếu missingModule.mli được đưa ra như là đối số để ocamldoc).

Và để hoàn thành câu trả lời, để đủ điều kiện nhận dạng loại, bạn cần nhập tệp bạn đang xử lý. Vì vậy, ocamldoc cần có thể truy cập vào các tệp .cmi tương ứng.