id,summary,reporter,owner,description,type,status,priority,milestone,component,version,resolution,keywords,cc,os,architecture,failure,difficulty,testcase,blockedby,blocking,related
4478,Exporting the same entity twice should not be a warning,kosmikus,,"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.",bug,closed,normal,7.4.1,Compiler,6.12.3,fixed,,michal.terepeta@…,Unknown/Multiple,Unknown/Multiple,Incorrect warning at compile-time,,T4478,,,