You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Original bug ID: 5589 Reporter:@alainfrisch Assigned to:@alainfrisch Status: closed (set by @xavierleroy on 2015-12-11T18:07:00Z) Resolution: fixed Priority: normal Severity: minor Category: typing Monitored by:@jmeber jm @hcarty@Chris00
Bug description
Currently, "unused" declaration warnings are not applied for interfaces. At least for "unused open", it would make sense to do so.
The text was updated successfully, but these errors were encountered:
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.
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.
Original bug ID: 5589
Reporter: @alainfrisch
Assigned to: @alainfrisch
Status: closed (set by @xavierleroy on 2015-12-11T18:07:00Z)
Resolution: fixed
Priority: normal
Severity: minor
Category: typing
Monitored by: @jmeber jm @hcarty @Chris00
Bug description
Currently, "unused" declaration warnings are not applied for interfaces. At least for "unused open", it would make sense to do so.
The text was updated successfully, but these errors were encountered: