Comment author: @bobzhang

it's not necessary. since you can use ocamlbuild to dump the .inferred.mli

Comment author: @alainfrisch

IMO, the goal of installing compiler-libs is to allow end-users to compile third-party packages that depend on those compiler modules (for instance, some code base analysis tools). Developers of such tools could use .mli files as documentation (technically, they don't need them to compile their work), but one could argue that the .mli files of the compiler don't contain a lot of information, and that developers would actually like to have access to the implementation as well. And I think this is fine: developers of low-level tools, strongly tied to the compiler, will download the source code as a reference.

But if the demand is strong enough, I'm not opposed to installing .mli files.

Comment author: @xavierleroy

I agree with Alain Frisch's comment. The .mli of the compiler are not (by a long shot) written in a way that would document the compiler internals. I don't see added value in installing them.

Comment author: @bobzhang

For curiosity, is there any public docs(whether in French or English) about the compiler internals?
Thanks