content: ----------------------------------------------------------------------
  -- |
  -- 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
  