問題タブ [ounit]

ファイルに特定のインターフェース仕様がありmodule.mliます。その実装をmodule.mlファイルに書き込む必要があります。

module.mli抽象型を提供します

OUnit を使用してテストを作成しています。それらで型の実装を使用する必要があります。(たとえば、値を比較するため) 1 つの解決策は、インターフェイスを拡張して、テストで使用される追加の関数を含めることです。

しかし、インターフェイスを変更せずにそのようなことを行うことは可能ですか?

OCaml のOUnitユニット テスト フレームワークを使用して、関数を評価した結果が指定された型のインスタンスであることをテストしたいと思います。

Python のPyTestでこのようなテストを定義するには、次のようにします。

このロジックはどのように OUnit に変換できますか? つまり、型メンバーシップのアサーションはどのように指定されるのでしょうか?

テスト対象の関数に適切な型シグネチャで注釈が付けられていると仮定すると、このテストは不要になる可能性があることは承知しています。

私は最初の Ocaml+OUnit2+Dune プロジェクトを書いています。しかし、私の単体テストでは、Mymapsを開くと言うと、「Unbound module Mymaps」と表示されます

私のプロジェクトの構造は次のとおりです

mymaps_test.ml の内容

mymaps.mli の内容

mymaps.ml の内容

テスト/砂丘ファイルの内容

lib/dune ファイルの内容

ここにGithubへのリンクがあります https://github.com/abhsrivastava/mymaps.git

テストでモジュールを開くことができない理由を教えてください。Unbound module Mymaps と表示されているのはなぜですか。(小文字の mymaps と MyMaps も試しましたが、表示されません)。