[tidied up Rules
martin.hofmann@uni-bamberg.de**20081118154212] hunk ./src/Data/Rules.hs 5
-    Rateable(..), RatingData,   
hunk ./src/Data/Rules.hs 7
-    insert, delete, replace, union,
+    insert, delete, replace,
hunk ./src/Data/Rules.hs 9
-    map , fold, 
-    --rulesFromList, rulesFromSet,
-    --rulesToList, rulesToSet,
+    map , fold,
+    
+    -- *FIXME* necessary?
+    --union, 
+    Rateable(..), RatingData,   
+    
hunk ./src/Data/Rules.hs 19
-import Data.Set (Set)
hunk ./src/Data/Rules.hs 20
-import qualified Data.Set as S (fromList, toList, fold, map, null, insert, delete, union)
-import Terms (Exp, Pat, size, Size)
+import Data.Set (Set)
+import qualified Data.Set as S (empty,fromList, toList, fold, map, null, insert, delete, union)
+import Terms  --(ExpQ, PatQ, size, Size)
hunk ./src/Data/Rules.hs 28
---type LHS = Pat
-type LHS = Int
---type RHS = Exp
-type RHS = String
+
+type LHS = [Pat]
+type RHS = Exp
+
+--FIXME
+--type LHS = PatQ
+--type RHS = ExpQ
+--
+--instance Eq PatQ
+--instance Ord PatQ
+--instance Show PatQ
+--
+--instance Eq ExpQ
+--instance Ord ExpQ
+--instance Show ExpQ
+
hunk ./src/Data/Rules.hs 53
+-- *FIXME* necessary? 
hunk ./src/Data/Rules.hs 56
+-- *FIXME* necessary?
hunk ./src/Data/Rules.hs 59
-    
+
+-- *FIXME* necessary?    
hunk ./src/Data/Rules.hs 63
-    
+
+-- *FIXME* necessary?    
hunk ./src/Data/Rules.hs 82
-    
+rules :: [Rule] -> Rules        
hunk ./src/Data/Rules.hs 85
-
hunk ./src/Data/Rules.hs 91
+null :: Rules -> Bool
hunk ./src/Data/Rules.hs 94
-union :: Rules -> Rules -> Rules
-union (RS rs1) (RS rs2) = RS $ S.union rs1 rs2
+empty :: Rules
+empty = RS $ S.empty
hunk ./src/Data/Rules.hs 122
+-- *FIXME* necessary?
+--union :: Rules -> Rules -> Rules
+--union (RS rs1) (RS rs2) = RS $ S.union rs1 rs2
+-- *FIXME* necessary?
hunk ./src/Data/Rules.hs 129
+-- *FIXME* necessary?
hunk ./src/Data/Rules.hs 133
+-- *FIXME* necessary?