Agda-2.3.2.2: src/core/Main.hs
{-| The main module of the core language implementation.
-}
module Main where
import Core.Par
import Core.Print
import Core.ErrM
import System.Environment
main =
do [file] <- getArgs
s <- readFile file
case pProgram $ myLexer s of
Bad s -> putStrLn $ "Parse error: " ++ s
Ok p -> putStrLn $ printTree p