Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0006362OCamlOCaml generalpublic2014-04-04 03:362015-03-24 18:21
Reporterberenger 
Assigned To 
PrioritynormalSeverityfeatureReproducibilityN/A
StatusacknowledgedResolutionopen 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0006362: warning about unused modules
DescriptionSometimes I have code like this at the top of a .ml file:
---
module A = BatArray
module AC = Autocorr
module S = BatString
[...]
---
After some big refactoring, it might be useful to detect which modules
are no more used, with a compiler warning for example.
Tagspatch
Attached Filesdiff file icon unused_module_decl.diff [^] (12,398 bytes) 2014-04-07 19:09 [Show Content]

- Relationships
related to 0006662acknowledged Add module _ = X syntax 

-  Notes
(0011242)
frisch (developer)
2014-04-07 19:10

A patch is attached. Some more testing (including non-regression tests) would be needed.
(0011250)
berenger (reporter)
2014-04-09 05:32

Is there a way I can get a compiler with this patch applied, via OPAM
for example?
I'd like to give it a shot.
(0013525)
berenger (reporter)
2015-03-23 10:12

No one is interested by this one?
(0013533)
berenger (reporter)
2015-03-24 17:34

https://github.com/ocaml/ocaml/pull/158 [^]
(0013534)
sliquister (reporter)
2015-03-24 18:17

If this is going to land, it'd nice to be able to say [module _M = ...]. Warnings that can't be turned off selectively can't be turned on usually (for instance fragile pattern matchings, or unused open in mlis before "open!").
(0013535)
frisch (developer)
2015-03-24 18:21

This is 0006662. But it's not like there is no way to turn the warning off, you can already write:

   include (... : sig end)

0006662 is about making this more convenient.

- Issue History
Date Modified Username Field Change
2014-04-04 03:36 berenger New Issue
2014-04-07 19:09 frisch File Added: unused_module_decl.diff
2014-04-07 19:10 frisch Note Added: 0011242
2014-04-09 05:32 berenger Note Added: 0011250
2014-07-16 15:54 doligez Tag Attached: patch
2014-07-16 16:01 doligez Status new => acknowledged
2015-03-23 10:12 berenger Note Added: 0013525
2015-03-24 17:34 berenger Note Added: 0013533
2015-03-24 18:17 sliquister Note Added: 0013534
2015-03-24 18:20 frisch Relationship added related to 0006662
2015-03-24 18:21 frisch Note Added: 0013535


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker