[minor changes, obsolete imports, ppr, format
martin.hofmann@uni-bamberg.de**20091210074418] hunk ./src/Igor2/Config.hs 48
-    , scr_verbosity  = DEBUG
+    , scr_verbosity  = INFO
hunk ./src/Igor2/Data/Hypotheses.hs 66
-			   text "open:" <+> pretty (open h) <$> 
-               text "closed:" <+> pretty (clsd h) <$> 
-               text "callings:" <+> pretty (callings h)         
+			   (vcat $ map pretty (allBindings h))        
hunk ./src/Igor2/Data/IOData.hs 24
-import Data.Bimap (Bimap)
-import qualified Data.Bimap as B
-
hunk ./src/Igor2/UI/UIStarter.hs 28
-import Language.Haskell.TH.Syntax ( Dec)
hunk ./src/Igor2/UI/UIStarter.hs 562
-   <|> do{ reservedOp "-"
-          ; setter <- choice [ do{reserved f; return $ s False} | (f,_,_,s) <- flags]
-          ; return $ Set setter
-          }
-   <?> ":set s[+|-]<flag>"             
+    <|> do{ reservedOp "-"
+           ; setter <- choice [ do{reserved f; return $ s False} | (f,_,_,s) <- flags]
+           ; return $ Set setter
+           }
+    <?> ":set s[+|-]<flag>"             
hunk ./src/Syntax/Class/Unifier.hs 37
+import Debug.Trace
hunk ./src/Syntax/Class/Unifier.hs 39
-
hunk ./src/Syntax/UnifyTy.hs 23
+import Debug.Trace
hunk ./src/Syntax/UnifyTy.hs 93
-                               " not satisifieable in " ++ (show c)
+                               " not satisfieable in " ++ (show c)
hunk ./src/Syntax/UnifyTy.hs 107
---    getInstances n >>=  anyM (matches t) >>= return . (ts $ (show t) ++ " ??3?? " ++ (show p) ++ " | ")
+--    getInstances n >>=  (anyM (matches t)) . ( (\ts -> trace (show ts) ts )) >>= return . (\ts -> trace ( (show t) ++ " ??3?? " ++ (show p) ++ " | " ++ (show ts)) ts )
