X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=compiler%2Frename%2FRnNames.lhs;h=e8490ac63f6f02a0c1e2f24c6bffb05d4eab59cd;hp=9d2f542eca6ee54d66fdb1d033c8d1986edf936d;hb=b633499b3a9508fce26b622f2d0cd836290e9503;hpb=94a113df234ef20ec3718a3d9285d238c1dff615

diff --git a/compiler/rename/RnNames.lhs b/compiler/rename/RnNames.lhs
index 9d2f542..e8490ac 100644
--- a/compiler/rename/RnNames.lhs
+++ b/compiler/rename/RnNames.lhs
@@ -1061,8 +1061,13 @@ check_occs ie occs names
           Nothing -> return (extendOccEnv occs name_occ (name, ie))
 
           Just (name', ie')
-            | name == name'    -- Duplicate export
-            ->  do { warn_dup_exports <- doptM Opt_WarnDuplicateExports ;
+            | name == name'   -- Duplicate export
+            -- But we don't want to warn if the same thing is exported
+            -- by two different module exports. See ticket #4478.
+            -> if diffModules ie ie'
+                 then return occs
+                 else do
+                   { warn_dup_exports <- doptM Opt_WarnDuplicateExports ;
                      warnIf warn_dup_exports (dupExportWarn name_occ ie ie') ;
                      return occs }
 
@@ -1072,6 +1077,9 @@ check_occs ie occs names
                      return occs }
       where
         name_occ = nameOccName name
+        -- True if the two IE RdrName are different module exports.
+        diffModules (IEModuleContents n1) (IEModuleContents n2) = n1 /= n2
+        diffModules _                     _                     = False
 \end{code}
 
 %*********************************************************