[prettier printing of rated hypos in log
martin.hofmann@uni-bamberg.de**20090922095210] hunk ./src/Logging/PrettyPrinter.hs 47
- 
+
hunk ./src/Logging/PrettyPrinter.hs 122
+instance (Pretty a,Pretty b,Pretty c,Pretty d,Pretty e,Pretty f,Pretty g) => Pretty (a,b,c,d,e,f,g) where
+  pretty (t,u,v,w,x,y,z)= tupled [pretty t,pretty u, pretty v, pretty w, pretty x, pretty y, pretty z]
+
+instance (Pretty a,Pretty b,Pretty c,Pretty d,Pretty e,Pretty f,Pretty g,Pretty h) => Pretty (a,b,c,d,e,f,g,h) where
+  pretty (s,t,u,v,w,x,y,z)= tupled [pretty s,pretty t,pretty u, pretty v, pretty w, pretty x, pretty y, pretty z]
+
hunk ./src/RuleDevelopment/Matching.hs 5
-import Data.List
+import Data.List hiding (group)
hunk ./src/RuleDevelopment/Matching.hs 84
-     proceed m = do llogDE (text "Matchings" <$> (pretty m))
+     proceed m = do llogDE (text "Matchings" <$> (pretty $ map ((map pretty)) m))
hunk ./src/UI/UIStarter.hs 42
-displayWidth = 80
+displayWidth = 120
hunk ./src/UI/UIStarter.hs 313
-                  hPutDoc fhandle d
+                  displayIO fhandle (renderPretty 0.5 140 d) 
+                  --hPutDoc fhandle d