[RuelDevelopment now requires CallDep
martin.hofmann@uni-bamberg.de**20090423133329] hunk ./src/Context/ContextBuilder.hs 302
-            ((VarE n):args) -> do
+            ((VarE n):args) -> do -- a function name
hunk ./src/Data/Hypotheses.hs 6
-    open, clsd,
+    open, clsd, callings,
hunk ./src/Data/Hypotheses.hs 109
-    | otherwise    = h{clsd = M.alter (insertM (frag rf)) (name rf) cs}
+    | otherwise   = h{clsd = M.alter (insertM (frag rf)) (name rf) cs}
hunk ./src/Data/IOData.hs 69
-    , functions = B.empty
+    , functions = B.empty -- unused yet, I think
hunk ./src/Data/IOData.hs 77
-insertWithName :: Name -> Rules -> IOData -> IOData
-insertWithName n rs iod@(IOD{ evidence = bk }) =
-    iod{ evidence =  M.insert n rs bk}
+--insertWithName :: Name -> Rules -> IOData -> IOData
+--insertWithName n rs iod@(IOD{ evidence = bk }) =
+--    iod{ evidence =  M.insert n rs bk}
hunk ./src/RuleDevelopment.hs 16
-advanceRule :: RuleFrag -> IM [(RuleFrags,[Call])]
-advanceRule rf = do 
+advanceRule :: CallDep -> RuleFrag -> IM [(RuleFrags,[Call])]
+advanceRule cd rf = do 
hunk ./src/SynthesisEngine.hs 80
-    candidaterules <- chooseCandidateRules candidatehypos
+    (dependencies,candidaterules) <- chooseCandidateRules candidatehypos
hunk ./src/SynthesisEngine.hs 96
-      else applyAdvacements candidaterule  >>  enterLoop
+      else applyAdvacements dependencies candidaterule >>  enterLoop
hunk ./src/SynthesisEngine.hs 110
-chooseCandidateRules :: Hypos -> IM RuleFrags
-chooseCandidateRules = return . S.fold collect S.empty  
-    where    
-    collect = S.union . open
+chooseCandidateRules :: Hypos -> IM (CallDep,RuleFrags)
+chooseCandidateRules = 
+    return . (\h -> (callings h, open h)) . S.findMin
+--    return . S.fold collect S.empty  
+--    where    
+--    collect = S.union . open
hunk ./src/SynthesisEngine.hs 120
-applyAdvacements :: RuleFrag -> IM ()
-applyAdvacements rf = do
-    advancements <- advanceRule rf
+applyAdvacements :: CallDep -> RuleFrag -> IM ()
+applyAdvacements cd rf = do
+    advancements <- advanceRule cd rf
hunk ./src/UI/UIStarter.hs 39
-startUI = do
+startUI = getArgs >>= startUIWith
+
+startUIWith :: [String] -> IO()
+startUIWith args = 
hunk ./src/UI/UIStarter.hs 44
-    args <- getArgs
-    case args of
+    in case args of
hunk ./src/UI/UIStarter.hs 52
-