Sylvain Le Gall wrote:
* every cmi file MUST come with a human readable mli file
I like this for most packages, but I think we should have an exception for -pack'd modules. Maintaining the .mli for the packed module of a large project is quite a bit of (redundant) work and removes some of the benefit of using pack in the first place. How about if we allow a .cmi to not have a corresponding .mli iff it is a packed module and all of its sub-modules have .mli's.
Cheers, -Mike