[helper headM in Util, output raw dI/O data when in debug
martin.hofmann@uni-bamberg.de**20091009080017] hunk ./src/Data/Util.hs 21
-showQ q = (runQ q) >>= putStrLn . show                 
+showQ q = (runQ q) >>= putStrLn . show
+
+headM l = if null l then fail "empty list" else return . head $ l                 
hunk ./src/RuleDevelopment.hs 6
-    )where
+    )where 
hunk ./src/RuleDevelopment.hs 20
+
hunk ./src/RuleDevelopment.hs 22
-             text "of" <$> pretty h
-             
+             text "of" <+> pretty h
hunk ./src/RuleDevelopment.hs 24
-    mtchs <- (introduceMatchings (callings h) r)
-    let mtchhs = mapMaybe (developH r h) mtchs             
-    folds <- (ifIsSet inEnhanced (foldUProp r) [])
-    let foldhs = mapMaybe (developH r h) folds             
-    parts <- (partition r)
-    let parths = mapMaybe (developH r h) parts             
-    calls <- (callSubfunction r)
-    let callhs = mapMaybe (developH r h) calls
-        
-    llogNO $ text "MTCH:" <^> text "Advancements:" <$> pretty mtchs <^>
-             text "Hypotheses  :" <$> pretty mtchhs
-        
-    llogNO $ text "FOLD:" <^> text "Advancements:" <$> pretty folds <^>
-             text "Hypotheses  :" <$> pretty foldhs
-        
-    llogNO $ text "PART:" <^> text "Advancements:" <$> pretty parts <^>
-             text "Hypotheses  :" <$> pretty parths
-        
-    llogNO $ text "CALL:" <^> text "Advancements:" <$> pretty calls <^>
-             text "Hypotheses  :" <$> pretty callhs
+    (fs,ms,ps,cs) <- compSucs h r
+     
+    let fhs = mapMaybe (developH r h) fs 
+    let mhs = mapMaybe (developH r h) ms 
+    let phs = mapMaybe (developH r h) ps   
+    let chs = mapMaybe (developH r h) cs
+    let all = concat $ [fhs, mhs, phs, chs]
+    waypointS $ text "Summary"    
+    llogNO $ linebreak <>
+             text "Advancing" <^> pretty r <$> 
+             text "of" <+> pretty h <$> text "resulted in" <+> 
+             int (length all) <+> text "new hypotheses." <> linebreak <$> 
+             text "MTCH:" <^> text "Advancements:" <$> pretty ms <^>
+             text "Hypotheses  :" <$> pretty mhs <$>
+             text "FOLD:" <^> text "Advancements:" <$> pretty fs <^>
+             text "Hypotheses  :" <$> pretty fhs <$>
+             text "PART:" <^> text "Advancements:" <$> pretty ps <^>
+             text "Hypotheses  :" <$> pretty phs <$>
+             text "CALL:" <^> text "Advancements:" <$> pretty cs <^>
+             text "Hypotheses  :" <$> pretty chs
hunk ./src/RuleDevelopment.hs 45
-    return . concat $ [mtchhs, foldhs, parths,callhs]
+    return all
+    where
+    compSucs h r = do
+        fs <- ifIsSet inEnhanced (foldUProp r) []  
+        if not $ null fs then return (fs,[],[],[])
+          else liftM3 ((,,,)[]) 
+                      (introduceMatchings (callings h) r)
+                      (partition r)
+                      (callSubfunction r)
hunk ./src/SynthesisEngine.hs 60
-    outputraw r | (scr_debug conf) =  ts "\nRAW RESULT\n" (map reverse r) 
+    outputraw r | (scr_debug conf) =  ts ("\nRAW I/O TGT\n" ++ (show tgts) ++
+                                          "\nRAW I/O BGK\n" ++ (show bgks) ++ 
+                                          "\nRAW RESULT\n")
+                                         (map reverse r) 
hunk ./src/SynthesisEngine.hs 123
-    
-headM l = if null l then fail "empty list" else return . head $ l