OCaml warns there is a
.ml file but no
.mli. Globally, this new warning proved useful, but there are two common cases I am not quite sure how to handle:
.mlfile is a pure interface file (i.e., the
.mlifile would be a verbatim copy of it), so it does not make much sense to duplicate it just to silence the warning.
.mlifile would be empty. So, the warning fulfills its purpose. But it would be better if there was a way to inform the compiler without having to put empty
.mlifiles all over the place (e.g., about 50 dummy files for Why3).
Obviously, I can fix both issues at the level of the build system. But I would be interested in a way for the
.ml files to be self-documenting. For example, putting
[@@@warning "-70"] does not seem to have any effect.