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			
