blob: 8cfc58ee8742c737161a5a30e1a8cc7571deba98 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
|
----------------------------------------------------------------------
-- |
-- Module : (Module)
-- Maintainer : (Maintainer)
-- Stability : (stable)
-- Portability : (portable)
--
-- > CVS $Date $
-- > CVS $Author $
-- > CVS $Revision $
--
-- (Description of the module)
-----------------------------------------------------------------------------
module 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
|
