[instance Antiunifieable Rule
martin.hofmann@uni-bamberg.de**20081126161500
 need to reorganise import/exports tp prevent cycle
] hunk ./src/Data/Rules.hs 25
-import Terms  --(ExpQ, PatQ, size, Size)
+import Terms.Class 
hunk ./src/Terms.hs 2
-    
-    module Language.Haskell.TH,
+        
hunk ./src/Terms/Antiunifier.hs 20
-    
+import Data.Rules (Rule, rule, lhs, rhs)    
hunk ./src/Terms/Antiunifier.hs 225
-instance Antiunifieable Exp Exp ([Pat],Exp) where 
+instance Antiunifieable Exp Exp Rule where 
hunk ./src/Terms/Antiunifier.hs 237
-        let tlhss   = transpose $ map fst rules
-        let rhss    = map snd rules
+        let tlhss   = transpose $ map lhs rules
+        let rhss    = map rhs rules
hunk ./src/Terms/Antiunifier.hs 241
-        return $ (ailhs,airhs)                
+        return $ rule ailhs airhs                
hunk ./src/Terms/Class.hs 15
+    module Language.Haskell.TH
hunk ./src/Terms/Class.hs 24
-                           , Name)
+                           , Name, mkName)