[RuleDevelopment applies Context
martin.hofmann@uni-bamberg.de**20091201103315] hunk ./src/Igor2/RuleDevelopment.hs 18
+import Data.Either (rights)
hunk ./src/Igor2/RuleDevelopment.hs 28
-    fhs <- (lift . lift . lift . lift) $ mapM (developH r h) fs 
-    nhs <- (lift . lift . lift . lift) $ mapM (developH r h) ns 
-    mhs <- (lift . lift . lift . lift) $ mapM (developH r h) ms 
-    phs <- (lift . lift . lift . lift) $ mapM (developH r h) ps   
-    chs <- (lift . lift . lift . lift) $ mapM (developH r h) cs
-    let all = catMaybes . concat $ [fhs, nhs, mhs, phs, chs]
+    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]
hunk ./src/Igor2/RuleDevelopment.hs 52
+    developAll :: (CovrRule -> Hypo -> [(CovrRules,[Call])] -> IM [Either String Hypo])
+    developAll r h = mapM (applyC . (developH r h))