[nicer logging
martin.hofmann@uni-bamberg.de**20090612043737] hunk ./src/RuleDevelopment/Matching.hs 48
-    llogIN (indent 2 $ text "- Not allowed to call" <+> (text.show $ n)) >>
+    llogIN (indent 2 $ text "(-) Not allowed to call" <+> (squotes.text.show $ n)) >>
hunk ./src/RuleDevelopment/Matching.hs 53
-        then do llogIN (text "Direct Calls possible!")
+        then do llogIN (linebreak <>
+                        text "Direct call to" <+> (squotes.pretty $ n) <+> 
+                        text "possible!")
hunk ./src/RuleDevelopment/Matching.hs 69
-     llogIN (text "No direct calls possible! Need to try matchings (C vs T)" <$>
-             text "Caller:" <^> pretty cllrs <$>
-             text "Target:" <^> pretty tgtrs)
+     llogIN (linebreak <>
+             text "No direct call to" <+> (squotes.pretty $ n) <+> 
+             text "possible!" <+> 
+             text "Need to compute full matchings (C vs T)" <$>
+             (align $ text "Caller:" <+> pretty cllrs ) <$>
+             (align $ text "Target:" <+> pretty tgtrs ))
hunk ./src/RuleDevelopment/Matching.hs 118
-    let rs = map (rule lp) rps --
-    isok <- liftM or $ mapM ((check rs).crul) cllrs
-    if isok then return (Just rps) else return Nothing
+    let rs = map (rule lp) rps
+    isok <- liftM and $ mapM ((check rs).crul) cllrs
+    return $ if isok then Just rps else Nothing
hunk ./src/RuleDevelopment/Matching.hs 198
-       llogIN (text "Discarded Match" <+> pretty tgt <+> text (show callrel) <+>
-               pretty cll <+> text "not allowed" <+> text (show callrel)) >>
+       llogIN (indent 2 $
+               text "(-) Discarded Match" <+> pretty tgt <+> 
+               text (show callrel) <+> pretty cll <+> text "not allowed" <+> 
+               text (show callrel)) >>
hunk ./src/RuleDevelopment/Matching.hs 207
-               llogIN (text "Try Match      " <+> pretty tgt <+>
+               llogIN (indent 2 $
+                       (if (isJust s) then text "(+)" else text "(-)") <+>
+                       text "Try       Match" <+> pretty tgt <+>