Exporting the same entity twice should not be a warning
Here is a minimal sample module:
module Warning (module Prelude, module Data.List) where
import Prelude
import Data.List
This module results in a lot of warnings like this one:
Warning.hs:1:33:
Warning: `foldl1' is exported by `module Data.List' and `module Prelude'
However, in this case, both occurrences of the identifier
refer to the same entity foldl1
that is defined in module
Data.List
. In such a case, I do not think that a warning
should be reported.
Occurs with both 6.12.3 and 7.0.1. Haven't tested other versions.
Trac metadata
Trac field | Value |
---|---|
Version | 6.12.3 |
Type | Bug |
TypeOfFailure | OtherFailure |
Priority | normal |
Resolution | Unresolved |
Component | Compiler |
Test case | |
Differential revisions | |
BlockedBy | |
Related | |
Blocking | |
CC | |
Operating system | |
Architecture |