ocamlbuild xxx.inferred.mli を使用して、推論された mli ファイルを 1 つずつ生成できることはわかっていますが、これを自動的に行うことをお勧めします (ocaml が推論する型を確認し、これらの mli を自分のベースとして使用することもできます)。もちろん、mli を自分で指定したモジュールはスキップしたいと思います。
質問する
680 次
1 に答える
3
これは Oasis では不可能だと思います。これはビルド システムに大きく依存するため、Oasis の仕事ではありません。
cmi は既にコンパイルされているため、システムに依存しないビルドを行うため、代わりにコンパイルされたインターフェイス ファイル (.cmi) から mli ファイルを作成することを検討する必要があります。そのようなツールがすでに存在するかどうかはわかりませんが、OCaml コンパイラの内部構造に精通している人にとっては、次の機能を備えた非常に簡単なはずです。
- Cmi_format.read_cmi は、cmi ファイルを署名としてロードします。
- 読み込まれた署名を人間が読める形式 (=mli) で出力するための Printtyp.signature。
于 2012-11-02T07:55:20.417 に答える