[tpat2Call -> mkCall, changed mkCallAt
martin.hofmann@uni-bamberg.de**20090506152425] hunk ./src/Data/Rules.hs 10
+    
+    mkCall,
hunk ./src/Data/Rules.hs 57
-mkRule (l,r) = rule l r
+mkRule = uncurry rule
hunk ./src/Data/Rules.hs 115
-    where 
+    where
hunk ./src/Data/Rules.hs 129
-mkCallAt :: RulePos -> Name -> Rule -> Rule
-mkCallAt (Body pos) n r = 
-    let callpat = lhs r
-        resty   = typeOf . fromJust . (flip subtermAt pos) . rhs $ r
-    in replaceInRhs r (Body pos) (tPat2Call n resty callpat) 
+mkCallAt :: RulePos -> Name -> [TExp] -> Rule -> Rule
+mkCallAt (Body pos) n args r = 
+    let resty   = typeOf . fromJust . (flip subtermAt pos) . rhs $ r
+    in replaceInRhs r (Body pos) (mkCall n resty args)
hunk ./src/Data/Rules.hs 134
+        
hunk ./src/Data/Rules.hs 211
-tPat2Call :: Name -> Type -> [TExp] -> TExp
-tPat2Call n resty ps =
+mkCall :: Name -> Type -> [TExp] -> TExp
+mkCall n resty ps =
hunk ./src/RuleDevelopment/Subfunction.hs 21
-                   text "No Ctor at Root, return []") >> return []
+                   text "No Ctor at Root, return []") >> 
+           return []
hunk ./src/RuleDevelopment/Subfunction.hs 25
-subfunction rf = do 
-    covcruls <- breakupM $ rf
-    let novarpos = posOfNoVarSubts rf
+subfunction cr = do 
+    covcruls <- breakupM $ cr
+    let novarpos = posOfNoVarSubts cr
hunk ./src/RuleDevelopment/Subfunction.hs 31
-    let rfnew = foldl' addCallAt rf $ zip novarpos subfnnms
-    let calls = map (\n -> ((name rf),n,EQ)) subfnnms
+    let rfnew = foldl' addCallAt cr $ zip novarpos subfnnms
+    let calls = map (\n -> ((name cr),n,EQ)) subfnnms
hunk ./src/RuleDevelopment/Subfunction.hs 36
-             text "Rule_old:" <+> pretty rf <^>
+             text "Rule_old:" <+> pretty cr <^>
hunk ./src/RuleDevelopment/Subfunction.hs 46
-    addCallAt rf (p,n) = modifycrul rf $ mkCallAt p n
+    addCallAt cr (p,n) = modifycrul cr $ mkCallAt p n (lhs.crul $ cr)