[clean up tiProgram and fix defaulting bug
John Meacham <john@repetae.net>**20100731083734
 Ignore-this: ee8d9972d5954327dfd43d95610d1648
] hunk ./src/FrontEnd/Tc/Main.hs 96
-
-
hunk ./src/FrontEnd/Tc/Main.hs 228
-
-
hunk ./src/FrontEnd/Tc/Main.hs 773
-        (r,ps) <- listenPreds $ f pr bgs [] mempty
+        (r,ps) <- listenPreds $ f pr bgs []
hunk ./src/FrontEnd/Tc/Main.hs 775
-        ch <- getClassHierarchy
-        ([],rs) <- splitPreds ch Set.empty ps
+--        ch <- getClassHierarchy
+    --    ([],rs) <- splitPreds ch Set.empty ps
+        (_,[],rs) <- splitReduce Set.empty Set.empty ps
hunk ./src/FrontEnd/Tc/Main.hs 780
-        --ps <- return $ simplify ch ps
-        --liftIO $ mapM_ (putStrLn.show) ps
-        --return r
-    f pr (bg:bgs) rs cenv  = do
-        ((ds,env),ps) <- listenPreds (tcBindGroup bg)
-        ch <- getClassHierarchy
-        withContext (makeMsg "in the binding group:" $ show (getBindGroupName bg)) $ do
-            ([],leftovers) <- splitPreds ch Set.empty ps
-            --topDefaults leftovers
-            return ()
-
+    f pr (bg:bgs) rs  = do
+        (ds,env) <- (tcBindGroup bg)
hunk ./src/FrontEnd/Tc/Main.hs 784
-        localEnv env $ f pr' bgs (ds ++ rs) (env `mappend` cenv)
-    f _ [] rs _cenv = do
+        localEnv env $ f pr' bgs (ds ++ rs)
+    f _ [] rs = do
hunk ./src/FrontEnd/Tc/Main.hs 787
-        (pdecls,ps) <- listenPreds $ mapM tcPragmaDecl es
-        withContext (makeMsg "in the pragmas:" $ "rules") $ do
-            ([],leftovers) <- splitPreds ch Set.empty ps
-            --topDefaults leftovers
-            return ()
+        pdecls <- mapM tcPragmaDecl es