05bf9cbe382548c2665dd01a6a402640c9ec3813Christian Maedermodule Main where

286f4deb69d3912337bb09dd7f81284d12912ce8Christian Maeder

286f4deb69d3912337bb09dd7f81284d12912ce8Christian Maederimport System

286f4deb69d3912337bb09dd7f81284d12912ce8Christian Maederimport Common.ATerm.ReadWrite

286f4deb69d3912337bb09dd7f81284d12912ce8Christian Maederimport Common.SimpPretty

98890889ffb2e8f6f722b00e265a211f13b5a861Corneliu-Claudiu Prodescu

286f4deb69d3912337bb09dd7f81284d12912ce8Christian Maedermain :: IO ()

286f4deb69d3912337bb09dd7f81284d12912ce8Christian Maedermain = do args <- getArgs

286f4deb69d3912337bb09dd7f81284d12912ce8Christian Maeder mapM_ testATC args

286f4deb69d3912337bb09dd7f81284d12912ce8Christian Maeder

286f4deb69d3912337bb09dd7f81284d12912ce8Christian MaedertestATC :: FilePath -> IO ()

286f4deb69d3912337bb09dd7f81284d12912ce8Christian MaedertestATC fp = do str <- readFile fp

286f4deb69d3912337bb09dd7f81284d12912ce8Christian Maeder let att = readATerm str

286f4deb69d3912337bb09dd7f81284d12912ce8Christian Maeder putStrLn ("Reading File "++fp++" ...")

286f4deb69d3912337bb09dd7f81284d12912ce8Christian Maeder let fp' = fp++".ttttt"

286f4deb69d3912337bb09dd7f81284d12912ce8Christian Maeder putStrLn ("Writing File "++fp'++" ...")

286f4deb69d3912337bb09dd7f81284d12912ce8Christian Maeder writeFileSDoc fp' (writeSharedATermSDoc att)

286f4deb69d3912337bb09dd7f81284d12912ce8Christian Maeder