Testsyntax.hs

   1 -- automatically generated by BNF Converter
   2 module Main where
   3
   4
   5 import IO ( stdin, hGetContents )
   6 import System ( getArgs, getProgName )
   7
   8 import Lexsyntax
   9 import Parsyntax
  10 import Skelsyntax
  11 import Printsyntax
  12 import Abssyntax
  13
  14
  15
  16
  17 import ErrM
  18
  19 type ParseFun a = [Token] -> Err a
  20
  21 myLLexer = myLexer
  22
  23 type Verbosity = Int
  24
  25 putStrV :: Verbosity -> String -> IO ()
  26 putStrV v s = if v > 1 then putStrLn s else return ()
  27
  28 runFile :: (Print a, Show a) => Verbosity -> ParseFun a -> FilePath -> IO ()
  29 runFile v p f = putStrLn f >> readFile f >>= run v p
  30
  31 run :: (Print a, Show a) => Verbosity -> ParseFun a -> String -> IO ()
  32 run v p s = let ts = myLLexer s in case p ts of
  33            Bad s    -> do putStrLn "\nParse              Failed...\n"
  34                           putStrV v "Tokens:"
  35                           putStrV v $ show ts
  36                           putStrLn s
  37            Ok  tree -> do putStrLn "\nParse Successful!"
  38                           showTree v tree
  39
  40
  41
  42 showTree :: (Show a, Print a) => Int -> a -> IO ()
  43 showTree v tree
  44  = do
  45       putStrV v $ "\n[Abstract Syntax]\n\n" ++ show tree
  46       putStrV v $ "\n[Linearized tree]\n\n" ++ printTree tree
  47
  48 main :: IO ()
  49 main = do args <- getArgs
  50           case args of
  51             [] -> hGetContents stdin >>= run 2 pProgram
  52             "-s":fs -> mapM_ (runFile 0 pProgram) fs
  53             fs -> mapM_ (runFile 2 pProgram) fs
  54
  55
  56
  57
  58