[minor changes, strictness, size, organise im/ex
martin.hofmann@uni-bamberg.de**20081203145248] hunk ./src/Data/Fragments.hs 9
-    RuleFrags, ruleFrags, insert, delete, replace,
-    fold, map, empty, null,
+    RuleFrags, ruleFrags, insert, delete, replace, union,
+    fold, map, empty, null, size,
+
+    toSet, toList,
hunk ./src/Data/Fragments.hs 22
-import Data.List ( (\\) )
+import Data.List ( (\\), foldl' )
hunk ./src/Data/Fragments.hs 24
-import qualified Data.Set as S (empty, fromList, toList, fold, map, null, insert, delete, union)
-import Terms
+import qualified Data.Set as S (empty, fromList, toList, fold, map,size, null, insert, delete, union)
+import Terms hiding (size)
+
+import Debug.Trace
hunk ./src/Data/Fragments.hs 90
+size = S.size.unRFS
+
hunk ./src/Data/Fragments.hs 96
-fold f i rs = S.fold f i (unRFS rs)
+fold f i rs = foldl' (flip f) i (toList rs) --S.fold f i (unRFS rs)