[code cleaning, removed redundant record slot 'opos' in CovrRul
martin.hofmann@uni-bamberg.de**20090715050417] hunk ./src/Data/IOData.hs 4
-    CovrRule, name, crul, opos,
+    CovrRule, name, crul,
hunk ./src/Data/IOData.hs 113
-                   in [RF n (rl !! i) [i] [] | i <- [0.. (length rl) -1] ]
+                   in [RF n (rl !! i) [i] | i <- [0.. (length rl) -1] ]
hunk ./src/Data/IOData.hs 148
-    let opos         = openPositions rule
hunk ./src/Data/IOData.hs 149
-      then return $  RF n rule indices opos
+      then return $  RF n rule indices
hunk ./src/Data/IOData.hs 155
---    opos         = openPositions rule
hunk ./src/Data/IOData.hs 201
-    , opos  :: ![OpenPos] -- ^ the open positions of this covering rule    
hunk ./src/Data/IOData.hs 209
+
+
hunk ./src/Data/IOData.hs 216
-isClosed = null.opos
+isClosed = null . openPositions . crul
hunk ./src/Data/IOData.hs 221
-modifycrul rf@(RF _ f _ o ) g = 
+modifycrul rf@(RF _ f _) g = 
hunk ./src/Data/IOData.hs 223
-    in rf{crul= f', opos= openPositions f'}
+    in rf{crul= f'}
hunk ./src/Data/IOData.hs 238
-    pretty  (RF n f c _) = pretty n <+> pretty f <+> text "^" <>  (text $show c)
+    pretty  (RF n f c) = pretty n <+> pretty f <+> text "^" <>  (text $show c)
hunk ./src/RuleDevelopment/Subfunction.hs 4
+import Syntax.Terms (openPositions)
hunk ./src/RuleDevelopment/Subfunction.hs 46
-    posOfVarSubts = map (\(_,i `Dot` _) -> Body (i°Root)) $ opos cr 
+    posOfVarSubts = map (\(_,i `Dot` _) -> Body (i°Root)) $ openPosition.crul $  cr 