デバッグ目的でモジュールのシグネチャをバイパスすることはできますか？

Question

このモジュールのシグネチャでマスクされたこのモジュールの変数に依存するモジュールのいくつかの機能の奇妙な動作を理解しようとします。この変数はプログラムのいくつかの点で印刷したいと思いますが、マスクされているためアクセス方法はわかりません。

さらに、このモジュールは私が修正して再コンパイルしたくない大きなプロジェクトの一部です。

デバッグの目的でこの変数にアクセスできますか？一時的に汚いものをしても？

編集：ここにいくつかの代表的なコード

module type S = sig val f : unit -> unit end 
module M : S = struct let x = ref 0 let f() = Format.printf "%d@." !x; incr x end 

M.xにアクセスする方法は？

Answer 1

もちろん可能です！

まず、あなただけのしばらくの間、署名を非表示にすることができます：

module type S = sig val f : unit -> unit end 
module M (* : S *) = struct 
    let x = ref 0 
    let f() = Format.printf "%d@." !x; incr x 
end 

かを、あなたは署名にxを表示することができます。

module type S = sig 
    val x : int ref 
    val f : unit -> unit 
end 
module M : S = struct 
    let x = ref 0 
    let f() = Format.printf "%d@." !x; incr x 
end 

お好みのよう。いずれの場合も、M.xがモジュール外で利用可能になります。

あなたも、このように機能print_xを定義することができます。

module type S = sig 
    val print_x : unit -> unit 
    val f : unit -> unit 
end 
module M : S = struct 
    let x = ref 0 
    let print_x() = Format.printf "%d@." !x 
    let f() = Format.printf "%d@." !x; incr x 
end 

、あなたが好きな場所M.print_x()を使用しています。