Unused modules are not reported #7124
Assignees
Labels
Comments
|
Comment author: @alainfrisch It's a missing feature, not a bug. |
|
Comment author: @alainfrisch Very quick implementation of this: https://github.com/alainfrisch/ocaml/tree/unused_module_warning Needs some testing and cleanup, and perhaps improved support for recursive modules. |
|
Comment author: @alainfrisch This commit suggests that the warning can be useful: |
|
Comment author: @alainfrisch Fixed by #684 in 4.04. |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Original bug ID: 7124
Reporter: @Drup
Assigned to: @alainfrisch
Status: resolved (set by @alainfrisch on 2017-02-20T10:38:09Z)
Resolution: fixed
Priority: normal
Severity: feature
Fixed in version: 4.04.0
Category: typing
Monitored by: @Drup @gasche @diml @hcarty
Bug description
There is a bunch of warning to report unused top level declarations, but they don't work on whole modules, for example:
foo.ml:
module F = Format
let y = 3
foo.mli
val y : int
compiled with -w +a, no warning is reported. If the first line is replaced with "open Format" or "module F = struct let x = 2 end", then warnings are reported.
This is the case in 4.02.3 and trunk. I'm not sure if it's a bug or a missing feature.
The text was updated successfully, but these errors were encountered: