From b96b36f43de3e2f8b58d5f539daa6f6d47f25870 Mon Sep 17 00:00:00 2001
From: aarne <aarne@cs.chalmers.se>
Date: Wed, 25 Jun 2008 16:43:48 +0000
Subject: removed src for 2.9

---
 src/tools/AlphaConvGF.hs | 43 -------------------------------------------
 1 file changed, 43 deletions(-)
 delete mode 100644 src/tools/AlphaConvGF.hs

(limited to 'src/tools/AlphaConvGF.hs')

diff --git a/src/tools/AlphaConvGF.hs b/src/tools/AlphaConvGF.hs
deleted file mode 100644
index 0e87bdb7a..000000000
--- a/src/tools/AlphaConvGF.hs
+++ /dev/null
@@ -1,43 +0,0 @@
-----------------------------------------------------------------------
--- |
--- 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
-- 
cgit v1.2.3