Make sure that symbols exported by export wildcards in fact belong to

that type or class.

Author: phischu

src/Language/Haskell/Names/Exports.hs

@@ -72,8 +72,9 @@ annotateExportSpec globalTable exportSpec =
         let
           subSymbols = nub (do
               subSymbol <- concat (Map.elems globalTable)
-              Just n' <- return $ symbolParent subSymbol
-              guard (n' == symbolName symbol)
+              Just subSymbolParentName <- return $ symbolParent subSymbol
+              guard (subSymbolParentName == symbolName symbol)
+              guard (symbolModule subSymbol == symbolModule symbol)
               return subSymbol)
           s = [symbol] <> subSymbols
         in

tests/exports/ExportAmbiguous.hs

@@ -0,0 +1,6 @@
+module ExportAmbiguous (DataType(..)) where
+
+import qualified Prelude (DataType(..))
+import Prelude hiding (DataType(..))
+
+data DataType = Constructor1 | Constructor2

tests/exports/ExportAmbiguous.hs.golden

@@ -0,0 +1,15 @@
+[ Data
+    { symbolModule = ModuleName () "ExportAmbiguous"
+    , symbolName = Ident () "DataType"
+    }
+, Constructor
+    { symbolModule = ModuleName () "ExportAmbiguous"
+    , symbolName = Ident () "Constructor1"
+    , typeName = Ident () "DataType"
+    }
+, Constructor
+    { symbolModule = ModuleName () "ExportAmbiguous"
+    , symbolName = Ident () "Constructor2"
+    , typeName = Ident () "DataType"
+    }
+]