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