[don't convert types from the environment into schemes and back when typechecking
John Meacham <john@repetae.net>**20060315011747] hunk ./FrontEnd/Tc/Module.hs 103
-    let importVarEnv = Map.fromList [ (x,typeToScheme y) | (x,y) <- Map.toList $ hoAssumps me, nameType x == Name.Val ]
-        importDConsEnv = Map.fromList [ (x,typeToScheme y) | (x,y) <- Map.toList $ hoAssumps me, nameType x ==  Name.DataConstructor ]
+    let importVarEnv = Map.fromList [ (x,y) | (x,y) <- Map.toList $ hoAssumps me, nameType x == Name.Val ]
+        importDConsEnv = Map.fromList [ (x,y) | (x,y) <- Map.toList $ hoAssumps me, nameType x ==  Name.DataConstructor ]
hunk ./FrontEnd/Tc/Module.hs 138
-    let localDConsEnv = dataConsEnv (error "modName") kindInfo classAndDataDecls -- (rDataDecls ++ rNewTyDecls)
+    let localDConsEnv = Map.map schemeToType $ dataConsEnv (error "modName") kindInfo classAndDataDecls -- (rDataDecls ++ rNewTyDecls)
hunk ./FrontEnd/Tc/Module.hs 142
-        mapM_ putStrLn [ show n ++  " :: " ++ prettyPrintType (schemeToType s) |  (n,s) <- Map.toList localDConsEnv]
+        mapM_ putStrLn [ show n ++  " :: " ++ prettyPrintType s |  (n,s) <- Map.toList localDConsEnv]
hunk ./FrontEnd/Tc/Module.hs 213
-        tcInfoEnv = Map.map schemeToType (importVarEnv `mappend` globalDConsEnv),
+        tcInfoEnv = (importVarEnv `mappend` globalDConsEnv),
hunk ./FrontEnd/Tc/Module.hs 230
-    when (dump FD.Renamed) $ do
+    when (dump FD.Decls) $ do
hunk ./FrontEnd/Tc/Module.hs 247
-    let allAssumps = Map.map schemeToType localDConsEnv `Map.union` localVarEnv
-        expAssumps = Map.map schemeToType localDConsEnv `Map.union` externalEnv
+    let allAssumps = localDConsEnv `Map.union` localVarEnv
+        expAssumps = localDConsEnv `Map.union` externalEnv