module Main

where

import Parse_AS_Structured

import System

import Parsec

import LogicGraph

import Print_HetCASL

import DevGraph

parsefile fname = do

input <- readFile fname

case runParser (library logicGraph) defaultLogic fname input of

Left err -> error (show err)

Right x -> putStrLn (take 50 (show (printText0_eGA x)) ++ "\n...")

main = do

files <- getArgs

sequence (map parsefile files)