[recArgCom renamed to redOrder
martin.hofmann@uni-bamberg.de**20100803125722] hunk ./src/Igor2/Config.hs 32
-    , scr_cmpRecArg  :: RecArgComp
+    , scr_redOrder  :: RecArgComp
hunk ./src/Igor2/Config.hs 51
-    , scr_cmpRecArg  = AWise
+    , scr_redOrder  = AWise
hunk ./src/Igor2/Config.hs 76
-setCmpRecArg  v scr = scr{scr_cmpRecArg = v}
+setCmpRecArg  v scr = scr{scr_redOrder = v}
hunk ./src/Igor2/Config.hs 95
-                fill 20 (text "Compare rec args") <+> pretty (show.scr_cmpRecArg $ c) <$>             
+                fill 20 (text "Compare rec args") <+> pretty (show.scr_redOrder $ c) <$>             
hunk ./src/Igor2/Data/Hypotheses.hs 208
+               numTotalRules
hunk ./src/Igor2/Data/Hypotheses.hs 211
-               numTotalRules
hunk ./src/Igor2/Data/IgorMonad.hs 126
-recArgComp = gets $ scr_cmpRecArg.igor_cnf
+recArgComp = gets $ scr_redOrder.igor_cnf
hunk ./src/Igor2/RuleDevelopment.hs 20
-advanceRule :: t Hypo -> CovrRule -> IM Hypos
+advanceRule :: Hypo -> CovrRule -> IM Hypos
hunk ./src/Igor2/RuleDevelopment.hs 28
-  fhs <- liftM rights $ developAll r h fs
-  nhs <- liftM rights $ developAll r h ns 
-  mhs <- liftM rights $ developAll r h ms 
-  phs <- liftM rights $ developAll r h ps   
-  chs <- liftM rights $ developAll r h cs
-  let all = concat $ [fhs, nhs, mhs, phs, chs]
+  fhs <- developAll r h fs
+  nhs <- developAll r h ns 
+  mhs <- developAll r h ms 
+  phs <- developAll r h ps   
+  chs <- developAll r h cs
+  let all = concat $ map rights  [fhs, nhs, mhs, phs, chs]
hunk ./src/Igor2/RuleDevelopment/Matching.hs 31
-    let allcalls  =  M.toList $ foldl (flip $ uncurry M.insert) scope (bgkcalls ++ tgtcalls)
+    let allcalls  =  M.toList $ foldl (flip $ uncurry M.insert) scope (tgtcalls ++ bgkcalls)
hunk ./src/Igor2/UI/UIStarter.hs 445
-      ("recArgCmp", "How to compare recursive arguments to ensure termination",
-            show.cmpRecArg,  \ v s -> s{ config=(config s){scr_cmpRecArg = read v}})
+      ("redOrder", "Reduction order, how to compare recursive arguments to ensure termination",
+            show.redOrder,  \ v s -> s{ config=(config s){scr_redOrder = read v}})