[minor code cosmetics
martin.hofmann@uni-bamberg.de**20090610075905] hunk ./src/Data/IOData.hs 102
+
hunk ./src/Data/IOData.hs 141
-moreGeneralSuperset rs iod = 
+moreGeneralSuperset rs iod =
hunk ./src/Data/Rules.hs 244
-hypos2decs :: (Bool,[Name]) -> [[(Name,Rules)]] -> [[Dec]]
-hypos2decs (b,tgts) hs =  map (rearrange.rules2decs.preprocess) hs
+hypos2decs :: Bool -> [Name] -> [[(Name,Rules)]] -> [[Dec]]
+hypos2decs smplfy tgts hs =  map (rearrange.rules2decs.preprocess) hs
hunk ./src/Data/Rules.hs 247
-    preprocess = if b then simplify else id
+    preprocess = if smplfy then simplify else id
hunk ./src/Data/Rules.hs 276
-    sortByPatLength = (sortBy $ on compare $ show.pretty.lhs).S.toList
+    sortByPatLength = (sortBy $ on compare $ size.lhs).S.toList
hunk ./src/Rating/Rateable.hs 4
-    Rateable(..), RatingData, 
+    Rateable(..), RatingData,
hunk ./src/SynthesisEngine.hs 44
-    return $ hypos2decs ((cnf_simplify conf),map fst tgts) result       
+    return $ hypos2decs (cnf_simplify conf)(cnf_tgts conf) result       
hunk ./src/UI/UIStarter.hs 167
-\  |   | ____  ____ ._____| | |  ._       \n\
-\  |   |/ __ \\/  _ \\|  __ \\ | | _| |__ \n\ 
-\  |   / /_/  ) <_> )  | \\/ | |/_   _/   \n\
-\  |___\\___  /\\____/|__|  |_|_|  |_|    \n\
+\  |   | ____  ____ ._____| || |  ._       \n\
+\  |   |/ __ \\/  _ \\|  __ \\ || | _| |__ \n\ 
+\  |   / /_/  ) <_> )  | \\/ | ||/_   _/   \n\
+\  |___\\___  /\\____/|__|  |_||_|  |_|    \n\
hunk ./src/UI/UIStarter.hs 287
-    let w = (fromInteger.colWidth $ s)
-    res <- resToDoc w r
+    let w   = (fromInteger.colWidth $ s)
+    let res = resToDoc w r
hunk ./src/UI/UIStarter.hs 316
-resToDoc :: Int -> Either String [[Dec]] -> IO Doc
-resToDoc w (Left msg) = return . red . text $ "UNCAUGHT ERROR: " ++ msg
-resToDoc w (Right ds) = do
-    let hyponum = length ds
-    docs <- liftM vcat $ mapM (printInQ  hyponum) (zip ds [1..])
-    return docs
+                              
+resToDoc :: Int -> Either String [[Dec]] -> Doc
+resToDoc w (Left msg) = 
+    red . text $ "UNCAUGHT ERROR: " ++ msg
+resToDoc w (Right ds) =
+    vcat $ map (printHypo (length ds)) (zip ds [1..])
hunk ./src/UI/UIStarter.hs 323
-printInQ :: Int -> ([Dec],Int) -> IO Doc    
-printInQ = \j (d,i) -> (runQ.return) d >>= \p -> 
-                return $ linebreak <> 
-                         indent 17 (bold (text "HYPOTHESE" <+> int i <+> 
-                                   text "of" <+> int j)) <$$>
-                         linebreak <> 
-                         vcat (map pretty p) <$$>
-                         linebreak 
+printHypo :: Int -> ([Dec],Int) ->  Doc    
+printHypo j (d,i) =  linebreak <> 
+                     indent 17 (bold (text "HYPOTHESE" <+> int i <+> 
+                                text "of" <+> int j)) <$$>
+                     linebreak <> 
+                     vcat (map pretty d) <$$>
+                     linebreak 
+                        