Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0005641OCamlOCaml internal build/install (Makefiles, configure)public2012-06-08 18:452012-06-22 07:44
Reporterguesdon 
Assigned To 
PrioritynormalSeverityminorReproducibilityalways
StatusresolvedResolutionsuspended 
PlatformOSOS Version
Product Version4.00.0+beta2/+rc1 
Target VersionFixed in Version 
Summary0005641: .mli of compiler files should be installed too
DescriptionIt would be useful and convenient to install the .mli of the modules being installed in compiler-libs.
TagsNo tags attached.
Attached Files

- Relationships

-  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

- Issue History
Date Modified Username Field Change
2012-06-08 18:45 guesdon New Issue
2012-06-09 03:29 hongboz Note Added: 0007530
2012-06-13 19:54 frisch Note Added: 0007554
2012-06-17 10:25 xleroy Note Added: 0007563
2012-06-17 10:25 xleroy Status new => resolved
2012-06-17 10:25 xleroy Resolution open => suspended
2012-06-18 14:47 hongboz Note Added: 0007565


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker