summaryrefslogtreecommitdiff
path: root/examples/gfcc/compiler/TestImperC.hs
blob: a32777a5d1b405fee6e46ec980a65ebeb686fefe (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
-- automatically generated by BNF Converter
module Main where


import Trees
import Profile
import IO ( stdin, hGetContents )
import System ( getArgs, getProgName )

import LexImperC
import ParImperC
import ErrM

type ParseFun = [Token] -> Err CFTree

myLLexer = myLexer

runFile :: ParseFun -> FilePath -> IO ()
runFile p f = readFile f >>= run p

run :: ParseFun -> String -> IO ()
run p s = do
  let ts = myLLexer s
  let etree = p ts
  case etree of
    Ok tree -> do
      case postParse tree of
        Bad s    -> do
          putStrLn "\nParse Failed... CFTree:\n"
          putStrLn $ prCFTree tree
          putStrLn s
        Ok  tree -> do
          putStrLn "\nParse Successful!"
          putStrLn $ "\n[Abstract Syntax]\n\n" ++ prt tree
    Bad s -> do
      putStrLn s
      putStrLn "\nParse failed... tokenization:"
      print ts

main :: IO ()
main = do args <- getArgs
          case args of
            []  -> hGetContents stdin >>= run pProgram
            [f] -> runFile pProgram f
            _   -> do progName <- getProgName
                      putStrLn $ progName ++ ": excess arguments."