mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-04-12 06:19:33 -06:00
31 lines
873 B
Haskell
31 lines
873 B
Haskell
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
|