Ticket #7454 (closed bug: fixed)
Missing warning about redundant import of classes/types whose members are used
If one module exports a class C(..) with a method m, and another module imports it via: import Module(C, m) And then proceeds to use only "m", one would expect to get a warning about the redundant import of "C", but that does not occur.
Similarly, the same thing happens if one imports a data-type "D", and a record field "f", and uses only "f". No redundant import warning is issued on D.