0005641: .mli of compiler files should be installed too

Notes
(0007530) hongboz (developer) 2012-06-09 03:29	it's not necessary. since you can use ocamlbuild to dump the .inferred.mli

(0007554) frisch (developer) 2012-06-13 19:54	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.

(0007563) xleroy (administrator) 2012-06-17 10:25	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.

(0007565) hongboz (developer) 2012-06-18 14:47	For curiosity, is there any public docs(whether in French or English) about the compiler internals? Thanks

Relationships