[clean up some code. pass coercions to TiData
John Meacham <john@repetae.net>**20060228152813] hunk ./FrontEnd/Tc/Module.hs 47
-trimEnv env = Map.filterWithKey (\k _ -> isGlobal k) env -- (Map.fromList [ n | n@(name,_) <- Map.toList env,  isGlobal name ])
+trimEnv env = Map.filterWithKey (\k _ -> isGlobal k) env
hunk ./FrontEnd/Tc/Module.hs 221
-    (localVarEnv,checkedRules) <- withOptionsT (modInfoOptions tms) $ runTc tcInfo $ do
+    (localVarEnv,checkedRules,coercions) <- withOptionsT (modInfoOptions tms) $ runTc tcInfo $ do
hunk ./FrontEnd/Tc/Module.hs 224
-        return (env,cr)
+        cc <- getCollectedCoerce
+        return (env,cr,cc)
hunk ./FrontEnd/Tc/Module.hs 257
+            tiCoerce       = coercions,
hunk ./FrontEnd/Tc/Monad.hs 380
-        when (any isMetaTV vs) $ error "metatv in forall binding"
hunk ./FrontEnd/Tc/Monad.hs 384
-        when (any isMetaTV vs) $ error "metatv in forall binding"
hunk ./FrontEnd/Tc/Type.hs 93
+extractTyVar (TVar tv) = return tv
hunk ./Main.hs 190
+    -- mapM_ (\(_,v,lc) -> printCheckName'' fullDataTable v lc) ds