{- |

Module : $Header$

Copyright : (c) C. Maeder, DFKI GmbH 2010

License : GPLv2 or higher, see LICENSE.txt

Maintainer : Christian.Maeder@dfki.de

Stability : experimental

Portability : portable

-}

module Main (main) where

import System

import ATerm.ReadWrite

import ATerm.SimpPretty

main :: IO ()

main = do

args <- getArgs

mapM_ testATC args

testATC :: FilePath -> IO ()

testATC fp = do

str <- readFile fp

let att = readATerm str

putStrLn ("Reading File " ++ fp ++ " ...")

let fp' = fp ++ ".ttttt"

putStrLn ("Writing File " ++ fp' ++ " ...")

writeFileSDoc fp' (writeSharedATermSDoc att)