{- |

Module : ./Syntax/hetpa.hs

Description : standalone HetCASL parser

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

License : GPLv2 or higher, see LICENSE.txt

Maintainer : Christian.Maeder@dfki.de

Stability : experimental

Portability : non-portable (Grothendieck)

standalone HetCASL parser

-}

module Main where

import Syntax.Parse_AS_Library

import System.Environment

import Text.ParserCombinators.Parsec

import Common.AnnoState

import Comorphisms.LogicGraph

import Syntax.Print_AS_Library ()

import Syntax.Print_AS_Structured

parsefile :: FilePath -> IO ()

parsefile fname = do

input <- readFile fname

case runParser (library logicGraph)

(emptyAnnos ()) fname input of

Left err -> error $ show err

Right x -> putStrLn $ shows (prettyLG logicGraph x) "\n"

main :: IO ()

main = do

files <- getArgs

mapM_ parsefile files