summaryrefslogtreecommitdiff
path: root/src-2.9/tools/AlphaConvGF.hs
diff options
context:
space:
mode:
authoraarne <aarne@cs.chalmers.se>2008-05-20 11:47:44 +0000
committeraarne <aarne@cs.chalmers.se>2008-05-20 11:47:44 +0000
commit31bf84122b21efb444aa8d055472e166ffb90783 (patch)
tree1f051909336f1534346bcccde8dda59beab02f64 /src-2.9/tools/AlphaConvGF.hs
parent74f048dcf41de3540778de54dfa7541fa5b39c46 (diff)
moved all old source code to src-2.9 ; src will be for GF 3 development
Diffstat (limited to 'src-2.9/tools/AlphaConvGF.hs')
-rw-r--r--src-2.9/tools/AlphaConvGF.hs43
1 files changed, 43 insertions, 0 deletions
diff --git a/src-2.9/tools/AlphaConvGF.hs b/src-2.9/tools/AlphaConvGF.hs
new file mode 100644
index 000000000..0e87bdb7a
--- /dev/null
+++ b/src-2.9/tools/AlphaConvGF.hs
@@ -0,0 +1,43 @@
+----------------------------------------------------------------------
+-- |
+-- Maintainer : AR
+-- Stability : (stable)
+-- Portability : (portable)
+--
+-- > CVS $Date: 2005/04/16 05:40:50 $
+-- > CVS $Author: peb $
+-- > CVS $Revision: 1.4 $
+--
+-- (Description of the module)
+-----------------------------------------------------------------------------
+
+module Main (main) where
+
+import LexGF
+import Alex
+import System
+
+main :: IO ()
+main = do
+ file1:file2:_ <- getArgs
+ s <- readFile file1
+ ts <- tokens s
+ if file1==file2 then print (length ts) else return () -- make sure file1 is in mem
+ writeFile file2 [] -- create file2 or remove its old contents
+ alphaConv file2 ts (Pn 1 1 1)
+
+alphaConv :: FilePath -> [Token] -> Posn -> IO ()
+alphaConv file (t:ts) p0 = case t of
+ PT p (TV s) -> changeId file p0 p s ts
+ _ -> putToken file p0 t >>= alphaConv file ts
+alphaConv _ _ = putStrLn "Ready."
+
+putToken :: FilePath -> Posn -> Token -> IO Posn
+putToken file (Pn _ l0 c0) t@(PT (Pn a l c) _) = do
+ let s = prToken t
+ ns = l - l0
+ ls = length s
+ replicate ns $ appendFile file '\n'
+ replicate (if ns == 0 then c - c0 else c-1) $ putChar ' '
+ putStr s
+ return $ Pn (a + ls) l (c + ls) ts