Только тип проверки файла Ocaml

Question

Мне интересно, можно ли только набрать файл ml? Точнее, у меня есть файл a.ml, который зависит от b.cmi. Как я могу только проверить тип a.ml? Обратите внимание, что у меня нет b.cmo, только b.cmi.

Answer 1

ocamlc -i a.ml должно работать; он также возвращает выводимый интерфейс.

Обратите внимание, что даже если у вас нет b.cmo, вы можете совершенно компилироватьa.ml (это то, что отдельный сборник о) с ocamlc -c a.ml.