[debug Hook to output result as raw data
martin.hofmann@uni-bamberg.de**20091007150043] hunk ./src/Data/Rules.hs 58
-data Rule = R {lhs :: LHS, rhs :: RHS} deriving(Ord, Show)
+data Rule = R {lhs :: LHS, rhs :: RHS} deriving(Ord)
hunk ./src/Data/Rules.hs 66
-    
+
+instance Show Rule where
+    show r = (showp . lhs $ r) ++ " = " ++ (showp . rhs $ r)
+        
hunk ./src/Logging/Logger.hs 4
-    tp,
+    tp,ts,
hunk ./src/Logging/Logger.hs 48
+ts :: (Show a, Pretty a) => String -> a -> a
+ts s = \x -> (trace $ s ++ (show $ x)) x
+
hunk ./src/SynthesisEngine.hs 56
-    return $ (,) l $ hypos2decs (scr_simplify conf)(scr_tgts conf) r
+                       
+    return . ((,) l) . niceify . outputraw $ r
+    where
+    outputraw r | (scr_debug conf) =  ts "\nRAW RESULT\n" (map reverse r) 
+                | otherwise = r
+    niceify = hypos2decs (scr_simplify conf)(scr_tgts conf)