[code clean ups. print more debugging info with -dboxy-steps
John Meacham <john@repetae.net>**20060214020628] hunk ./FrontEnd/Tc/Class.hs 143
-    sequence_ [ varBind x y | (x,y) <- sub]
+    sequence_ [ varBind x y | (x,y) <- nub sub]
hunk ./FrontEnd/Tc/Main.hs 22
+import qualified FlagDump as FD
hunk ./FrontEnd/Tc/Main.hs 61
-    (_,_,t) <- skolomize t
+    --(_,_,t) <- skolomize t
hunk ./FrontEnd/Tc/Main.hs 152
-            --b1 <- newBox Star
-            --b2 <- newBox Star
-            --varBind mv (b1 `fn` b2)
-            --l' <- lam (p:ps) e (b1 `fn` b2) rs
-            --boxyMatch (TMetaVar mv) (b1 `fn` b2)
-            --return l'
hunk ./FrontEnd/Tc/Main.hs 164
-            (_,_,s) <- skolomize s
+            --(_,_,s) <- skolomize s
hunk ./FrontEnd/Tc/Main.hs 379
-    --liftIO $ putStrLn $ "tiimpls " ++ show (map getDeclName bs)
+    when (dump FD.BoxySteps) $ liftIO $ putStrLn $ "*** tiimpls " ++ show (map getDeclName bs)
hunk ./FrontEnd/Tc/Main.hs 461
-            --b1 <- newBox Star
-            --b2 <- newBox Star
-            --varBind mv (b1 `fn` b2)
-            --l' <- lam (p:ps) (b1 `fn` b2) rs
-            --(TMetaVar mv) `boxyMatch`  (b1 `fn` b2)
-            --return l'
hunk ./FrontEnd/Tc/Main.hs 476
-            (_,_,s) <- skolomize s
+            --(_,_,s) <- skolomize s
hunk ./FrontEnd/Tc/Main.hs 489
-    --liftIO $ putStrLn $ "** typing expl: " ++ show (getDeclName decl) ++ " " ++ prettyPrintType sc
+    when (dump FD.BoxySteps) $ liftIO $ putStrLn $ "** typing expl: " ++ show (getDeclName decl) ++ " " ++ prettyPrintType sc
hunk ./FrontEnd/Tc/Monad.hs 56
+import Options
+import qualified FlagDump as FD
hunk ./FrontEnd/Tc/Monad.hs 350
-                --putStrLn $ "varBind: " ++ pprint u <+> prettyPrintType t
+                when (dump FD.BoxySteps) $ putStrLn $ "varBind: " ++ pprint u <+> prettyPrintType t
hunk ./FrontEnd/Tc/Unify.hs 96
-        s1 <- findType s1
-        s2 <- findType s2
+        printRule "SYM"
hunk ./FrontEnd/Tc/Unify.hs 179
-        | isTau a, TMetaVar mv <- b = varBind mv a >> return False
-        | isTau a && isTau b = unify a b >> return False
+        | isTau a, TMetaVar mv <- b = printRule "MEQ1" >> varBind mv a >> return False
+        | isTau a && isTau b = printRule "MEQ2" >> unify a b >> return False