[minor changes
martin.hofmann@uni-bamberg.de**20090218122433] hunk ./src/Main.hs 311
-igortest = startSynthesis revdef $ liftM concat $ sequence  [revinitdef, lastdef]
+igortest = startSynthesis revdef [d||]
hunk ./src/Rating/Rateable.hs 54
-        | unLM (matchLhss p1 p2) = p2:ps
-        | unLM (matchLhss p2 p1) = p1:ps
+        | matchLhss p1 p2 = p2:ps
+        | matchLhss p2 p1 = p1:ps
hunk ./src/RuleDevelopment.hs 9
+import RuleDevelopment.Subfunction
hunk ./src/RuleDevelopment.hs 14
+import Control.Monad
hunk ./src/RuleDevelopment.hs 17
-advanceRule rf = do
-    
-    trivpart <- trivialPartition rf
-    allparts <- partition rf
-    return $ allparts
+advanceRule rf = do 
+    parts <- partition rf
+    subfs <- callSubfunction rf
+    return $ parts  ++ subfs
hunk ./src/RuleDevelopment.hs 39
-subfunction :: 
-    RuleFrag ->                 -- ^the rule to partition 
-                            --  FIXME: need covered target rules here) 
-    IM (RuleFrag,[RuleFrag]) -- ^the modified rule (now closed), and the 
-                            -- synthesised subfunctions
-subfunction r = return (r,[])          -- FIXME
+--subfunction :: 
+--    RuleFrag ->                 -- ^the rule to partition 
+--                            --  FIXME: need covered target rules here) 
+--    IM (RuleFrag,[RuleFrag]) -- ^the modified rule (now closed), and the 
+--                            -- synthesised subfunctions
+--subfunction r = return (r,[])          -- FIXME