{- |

Module : $Header$

Description : ADL syntax parser

Copyright : (c) Stef Joosten, Christian Maeder DFKI GmbH 2010

License : similar to LGPL, see HetCATS/LICENSE.txt or LIZENZ.txt

Maintainer : Christian.Maeder@dfki.de

Stability : provisional

Portability : portable

-}

module Main where

import Common.DocUtils (pretty)

import Common.Doc (vcat)

import Common.Parsec ((<<))

import System.Environment (getArgs)

import Text.ParserCombinators.Parsec (parse, eof)

import Adl.Parse (skip, pArchitecture)

import Adl.Print ()

main :: IO ()

main = getArgs >>= mapM_ process

process :: String -> IO ()

process f = do

s <- readFile f

case parse (skip >> pArchitecture << eof) f s of

Right es -> print $ vcat $ map pretty es

Left err -> fail $ show err