[redefinition of Position
martin.hofmann@uni-bamberg.de**20090109125100] hunk ./src/Terms/Class.hs 39
-              | Int `Dot` Position
+              | Position `Dot` Int
hunk ./src/Terms/Class.hs 52
-infixr 5 °
-(°) :: Int              -- ^ the nth subterm 
-    -> Position         -- ^ sub-position, i.e. position in the nth subterm
-    -> Position         -- ^ the resulting position
-i ° Root = (P i)
-i ° p | i > 0      = i `Dot` p
+infixl 5 °
+(°) :: Position         -- ^ a position in a term 
+    -> Int              -- ^ the nth sub-term
+    -> Position         -- ^ the resulting position, pointing at the nth sub-term
+                        --   from position
+Root ° i = (P i)
+p ° i | i > 0      = p `Dot` i
hunk ./src/Terms/Class.hs 145
-            (Dot i p) -> do { let subs = subterms t
+            (Dot p i ) -> do { let subs = subterms t
hunk ./src/Terms/Class.hs 196
-                      (InfixE (Just e1) _e Nothing)   -> map (1°) (getPos e1 s)
-                      (InfixE Nothing _e (Just e2))   -> map (2°) (getPos e2 s)
+                      (InfixE (Just e1) _e Nothing)   -> map (°1) (getPos e1 s)
+                      (InfixE Nothing _e (Just e2))   -> map (°2) (getPos e2 s)
hunk ./src/Terms/Class.hs 199
-                            let pos1 = map (1°) (getPos e1 s)
-                                pos2 = map (2°) (getPos e2 s)
+                            let pos1 = map (°1) (getPos e1 s)
+                                pos2 = map (°2) (getPos e2 s)
hunk ./src/Terms/Class.hs 221
-            (Dot i p) -> maybe t id $  moveToSubtermE i t (Just.(substitute s p))
+            (Dot p i) -> maybe t id $  moveToSubtermE i t (Just.(substitute s p))
hunk ./src/Terms/Class.hs 263
-                            let pos1 = map (1°) (getPos p1 s)
-                                pos2 = map (2°) (getPos p2 s)
+                            let pos1 = map (°1) (getPos p1 s)
+                                pos2 = map (°2) (getPos p2 s)
hunk ./src/Terms/Class.hs 275
-            (Dot i p) -> maybe t id $  moveToSubtermP i t (Just.(substitute s p))
+            (Dot p i) -> maybe t id $  moveToSubtermP i t (Just.(substitute s p))
hunk ./src/Terms/Class.hs 308
-mapGetPos ts s = concat $ snd $ L.mapAccumL (\i t -> (i+1, map (i°) (getPos t s))) 1 ts
+mapGetPos ts s = concat $ snd $ L.mapAccumL (\i t -> (i+1, map (°i) (getPos t s))) 1 ts