[RuleFrags propagated to Advancements
martin.hofmann@uni-bamberg.de**20081117123027] hunk ./src/Advancement.hs 7
+import Data.Fragments
hunk ./src/Advancement.hs 11
-    part <- partition rf `mplus` functionCall rf `mplus` subfunction rf
+    part <- partition rf 
+    call <- functionCall rf
+    sub  <- subfunction rf
hunk ./src/Advancement.hs 24
-partition :: RuleFrag -> IM [(Rule,[RuleFrag])]
+partition :: RuleFrag -> IM [(RuleFrag,[RuleFrag])]
hunk ./src/Advancement.hs 31
-    IM (Rule,[RuleFrag]) -- ^the modified rule(now closed), and the 
+    IM (RuleFrag,[RuleFrag]) -- ^the modified rule(now closed), and the 
hunk ./src/Advancement.hs 41
+-- * call Igor recursively to synthesise the subfunction. 
hunk ./src/Advancement.hs 46
-    IM (Rule,[RuleFrag]) -- ^the modified rule (now closed), and the 
+    IM (RuleFrag,[RuleFrag]) -- ^the modified rule (now closed), and the 