0005589: Detecting unused open in .mli files

Notes
(0007376) frisch (developer) 2012-04-18 14:23	Commit 12375 (trunk). This has the potential to break things, so I'm waiting for some feedback before closing this issue.

(0007444) jm (reporter) 2012-05-21 05:54	this commit makes ocamlc on a .mli generating a .cmi whose control sum is different from previous ocamlc version; however ocamlopt still generates the same control sum; this difference between ocamlc and ocamlopt breaks programs like biniou+yojson.

(0007463) frisch (developer) 2012-05-25 15:29	It seems that simply adding the "ignore (Includemod.signatures (initial_env()) sg sg);" changed the .cmi file generated by ocamlc. I don't really understand why (probably some internal ids). Anyway, the same patch had to be applied to ocamlopt so that it can also detect unused open in .mli files. This is now committed (rev 12484), and this fixes the present issue.

Relationships