[check export lists for unknown names
John Meacham <john@repetae.net>**20100806045759
 Ignore-this: 4b3ff8381117f2acae34dd6b936c8e8d
] hunk ./src/FrontEnd/Rename.hs 136
---    mapM_ HsErrors.hsDeclTopLevel decls'
-    --mapM_ checkExportSpec $ fromMaybe [] (hsModuleExports tidy)
+    mapM_ checkExportSpec $ fromMaybe [] (hsModuleExports mod)
hunk ./src/FrontEnd/Rename.hs 141
-    f (HsEVar n) = do renameValName n; return ()
-    f (HsEAbs n) = do renameTypeName n; return ()
-    f (HsEThingAll n) = do renameTypeName n; return ()
+    f (HsEVar n) = do check [Val] n
+    f (HsEAbs n) = do check [DataConstructor,TypeConstructor,ClassName] n
+    f (HsEThingAll n) = do check [DataConstructor,TypeConstructor,ClassName] n
hunk ./src/FrontEnd/Rename.hs 145
-        renameTypeName n
-        mapM_ renameValName ns
+        check [DataConstructor,TypeConstructor,ClassName] n
+        mapM_ (check [DataConstructor,Val]) ns
hunk ./src/FrontEnd/Rename.hs 148
+    check ts n = do
+        nm <- asks envNameMap
+        let idef = any isJust (map (flip mlookup nm) $ zipWith toName ts (repeat n))
+        unless idef $ do
+            sl <- getSrcLoc
+            warn sl "undefined-name" ("unknown name in export list: " ++ show n)
hunk ./src/FrontEnd/Rename.hs 273
-        --doesClassMakeSense hsQualType'
+        doesClassMakeSense hsQualType'