GHC should warn about redundant import of a type name also if one of its record selectors is imported
Sorry, I have another corner case for a redundant import warning:
module Main where
import Control.Monad.Trans.Writer (WriterT, runWriterT)
main :: IO ()
main = undefined runWriterTThis module will not provoke a warning, although the import of WriterT can be omitted. I assume this is because runWriterT is a record selector of WriterT and could (or should?) be imported as:
import Control.Monad.Trans.Writer (WriterT(runWriterT))Since I used runWriterT like a regular function I did not care about its record selector feature.
Trac metadata
| Trac field | Value |
|---|---|
| Version | 7.6.3 |
| Type | Bug |
| TypeOfFailure | OtherFailure |
| Priority | normal |
| Resolution | Unresolved |
| Component | Compiler |
| Test case | |
| Differential revisions | |
| BlockedBy | |
| Related | |
| Blocking | |
| CC | |
| Operating system | |
| Architecture |