[modified data tyoe 'Position'
martin.hofmann@uni-bamberg.de**20090428093028
 MODIFIED: argument order of 'Dot' is now Dot :: Int -> Position -> Position
 MODIFIED: ctor 'P' is obsolete
 
] hunk ./src/RuleDevelopment/Subfunction.hs 49
-    label        = zip [ Body (Root°i) | i<- [0..]]
+    label        = zip [ Body (i°Root) | i<- [0..]]
hunk ./src/Syntax/Expressions.hs 161
-            (P i)     -> maybe t id $  moveToSubtermTE t i (Just.(substitute s Root))
-            (Dot p i) -> maybe t id $  moveToSubtermTE t i (Just.(substitute s p))
+--            (P i)     -> maybe t id $  moveToSubtermTE t i (Just.(substitute s Root))
+            (Dot i p) -> maybe t id $  moveToSubtermTE t i (Just.(substitute s p))
hunk ./src/Syntax/Expressions.hs 609
-            (P i)     -> maybe t id $  moveToSubtermE t i (Just.(substitute s Root))
-            (Dot p i) -> maybe t id $  moveToSubtermE t i (Just.(substitute s p))
+--            (P i)     -> maybe t id $  moveToSubtermE t i (Just.(substitute s Root))
+            (Dot i p) -> maybe t id $  moveToSubtermE t i (Just.(substitute s p))
hunk ./src/Syntax/Patterns.hs 106
-         (P i)     -> maybe t id $  moveToSubtermTP t i (Just.(substitute s Root))
-         (Dot p i) -> maybe t id $  moveToSubtermTP t i (Just.(substitute s p))
+        -- (P i)     -> maybe t id $  moveToSubtermTP t i (Just.(substitute s Root))
+         (Dot i p) -> maybe t id $  moveToSubtermTP t i (Just.(substitute s p))
hunk ./src/Syntax/Patterns.hs 433
-            (P i)     -> maybe t id $  moveToSubtermP i t (Just.(substitute s Root))
-            (Dot p i) -> maybe t id $  moveToSubtermP i t (Just.(substitute s p))
+        --    (P i)     -> maybe t id $  moveToSubtermP i t (Just.(substitute s Root))
+            (Dot i p) -> maybe t id $  moveToSubtermP i t (Just.(substitute s p))
hunk ./src/Syntax/Terms.hs 33
-              | P Int -- zero-based
-              | Position `Dot` Int
+              -- | P Int -- zero-based
+              | Int `Dot` Position
hunk ./src/Syntax/Terms.hs 39
-    show (P i)      = show i
+    --show (P i)      = show i
hunk ./src/Syntax/Terms.hs 50
-(°) :: Position         -- ^ a position in a term 
-    -> Int              -- ^ the nth sub-term (zero-based(
+(°) :: Int              -- ^ the nth sub-term (zero-based) 
+    -> Position         -- ^ a position in a term
hunk ./src/Syntax/Terms.hs 54
-Root ° i = (P i)
-p ° i | i >= 0      = p `Dot` i
+-- Root ° i = (P i)
+i ° p | i >= 0      = i `Dot` p
hunk ./src/Syntax/Terms.hs 144
-        (P i)     -> do { let subs = subterms t
-                        ; r <-  subs !?! i 
-                        ; noHole "Terms.subterm: No subterm at position" r}
-        (Dot p i ) -> do { let subs = subterms t
+--        (P i)     -> do { let subs = subterms t
+--                        ; r <-  subs !?! i 
+--                        ; noHole "Terms.subterm: No subterm at position" r}
+        (Dot i p) -> do { let subs = subterms t
hunk ./src/Syntax/Terms.hs 200
-mapGetPos ts s = concat $ snd $ L.mapAccumL (\i t -> (i+1, map (°i) (getPos t s))) 0 ts
+mapGetPos ts s = concat $ snd $ L.mapAccumL (\i t -> (i+1, map (i°) (getPos t s))) 0 ts