[Use TExp instead of TPat in Rule
martin.hofmann@uni-bamberg.de**20090428123846] hunk ./src/Context/ContextBuilder.hs 29
-import Syntax.Expressions
+import Syntax.Expressions hiding (toPat)
hunk ./src/Context/ContextBuilder.hs 366
-        return (ls', rs')    
+        return ((map tPat2TExp ls'), rs')    
hunk ./src/Data/Rules.hs 13
+    tPat2TExp,
hunk ./src/Data/Rules.hs 51
-type LHS = [TPat]
+type LHS = [TExp]
hunk ./src/Data/Rules.hs 54
-mkRule :: ([TPat],TExp) -> Rule
+mkRule :: ([TExp],TExp) -> Rule
hunk ./src/Data/Rules.hs 66
-rule :: [TPat] -> TExp -> Rule
+rule :: [TExp] -> TExp -> Rule
hunk ./src/Data/Rules.hs 116
-replaceInLhs :: Rule -> RulePos -> TPat -> Rule
+replaceInLhs :: Rule -> RulePos -> TExp -> Rule
hunk ./src/Data/Rules.hs 133
-ruleSubtermAt :: RulePos -> Rule -> Either (Maybe TPat) (Maybe TExp)
+ruleSubtermAt :: RulePos -> Rule -> Either (Maybe TExp) (Maybe TExp)
hunk ./src/Data/Rules.hs 137
-lhsSubtermAt :: RulePos -> Rule -> Maybe TPat
+lhsSubtermAt :: RulePos -> Rule -> Maybe TExp
hunk ./src/Data/Rules.hs 163
-        (left,right)<-  antiunify2 tlhss rhss tPat2TExp
+        (left,right)<-  antiunify2 tlhss rhss id
hunk ./src/Data/Rules.hs 167
-matchRules (R l1 r1) (R l2 r2) = matches2 (l1,r1) (l2,r2) tPat2TExp
+matchRules (R l1 r1) (R l2 r2) = matches2 (l1,r1) (l2,r2) id
hunk ./src/Data/Rules.hs 209
-tPat2Call :: Name -> Type -> [TPat] -> TExp
+tPat2Call :: Name -> Type -> [TExp] -> TExp
hunk ./src/Data/Rules.hs 212
-    in  foldTAppE (TConE n funty) (map tPat2TExp ps)    
+    in  foldTAppE (TConE n funty) ps
hunk ./src/Data/Rules.hs 241
-rule2clause r = Clause ((map fromTPat) $ lhs r) (NormalB . fromTExp . rhs $ r) [] 
+rule2clause r = Clause ((map toPat) $ lhs r) (NormalB . fromTExp . rhs $ r) [] 