OCaml - 署名に含まれていないテスト関数

Question

OCamlモジュールのテストを書いています。モジュールの一部の機能は公開されていないため、署名（.mliファイル）には含まれていません。

これらの関数は、モジュールの外部には表示されないため、私のテストから呼び出すことはできません。だから私はそれらをテストするのに苦労している。これを回避する良い方法はありますか？たとえば、ocamlcが.mliファイルから署名を読み取ってテストをコンパイルしていないと伝える方法はありますか？

Answer 1

いくつかのアイデア：

• は、実際にテスト関数をエクスポートしますが、中輸出を表示するようなときにはocamldocのストップコメント（**/**）機能を使用しますドキュメンテーション。
• すべてのテストを完全に別のモジュールに入れます。しかし、テストで内部実装へのアクセスが非常に必要な場合があるため、抽象型を使用するとこれは困難です。
• すべてのテストが行​​われるサブモジュールTestを作成します。このようにして、どの機能がテストのためだけであるかは明らかです。おそらくこれを（**/**）機能と組み合わせて、サブモジュールをドキュメントから隠すこともできます。

Answer 2

私は、人が.mliファイルを（別のディレクトリにある）.mlファイルから分離することがあると聞いたことがあります。これは、ocamlcに別のディレクトリを探すかどうかを指示することでコンパイルすることができます。私はちょうどこれでいくつかの実験を試みた。私はそれを働かせることができると思うが、それは私に多少の誤りを起こしやすいようだ。おそらく、内部関数のテストをモジュールに入れることができます。テスト関数をエクスポートすることは、モジュール性に悪影響を与えることはありません。 （もちろんけれども、それクラッタアップモジュールを。）