From a1da4b7c4808b3da1a0dba5a85b5e35134d9222c Mon Sep 17 00:00:00 2001 From: aarne Date: Thu, 26 Jun 2008 21:05:50 +0000 Subject: removed Transfer interpreter --- src/Transfer/Syntax/Test.hs | 58 --------------------------------------------- 1 file changed, 58 deletions(-) delete mode 100644 src/Transfer/Syntax/Test.hs (limited to 'src/Transfer/Syntax/Test.hs') diff --git a/src/Transfer/Syntax/Test.hs b/src/Transfer/Syntax/Test.hs deleted file mode 100644 index 3f5fab7ad..000000000 --- a/src/Transfer/Syntax/Test.hs +++ /dev/null @@ -1,58 +0,0 @@ --- automatically generated by BNF Converter -module Main where - - -import IO ( stdin, hGetContents ) -import System ( getArgs, getProgName ) - -import Transfer.Syntax.Lex -import Transfer.Syntax.Par -import Transfer.Syntax.Skel -import Transfer.Syntax.Print -import Transfer.Syntax.Abs -import Transfer.Syntax.Layout - - - -import Transfer.ErrM - -type ParseFun a = [Token] -> Err a - -myLLexer = resolveLayout True . myLexer - -type Verbosity = Int - -putStrV :: Verbosity -> String -> IO () -putStrV v s = if v > 1 then putStrLn s else return () - -runFile :: (Print a, Show a) => Verbosity -> ParseFun a -> FilePath -> IO () -runFile v p f = putStrLn f >> readFile f >>= run v p - -run :: (Print a, Show a) => Verbosity -> ParseFun a -> String -> IO () -run v p s = let ts = myLLexer s in case p ts of - Bad s -> do putStrLn "\nParse Failed...\n" - putStrV v "Tokens:" - putStrV v $ show ts - putStrLn s - Ok tree -> do putStrLn "\nParse Successful!" - showTree v tree - - - -showTree :: (Show a, Print a) => Int -> a -> IO () -showTree v tree - = do - putStrV v $ "\n[Abstract Syntax]\n\n" ++ show tree - putStrV v $ "\n[Linearized tree]\n\n" ++ printTree tree - -main :: IO () -main = do args <- getArgs - case args of - [] -> hGetContents stdin >>= run 2 pModule - "-s":fs -> mapM_ (runFile 0 pModule) fs - fs -> mapM_ (runFile 2 pModule) fs - - - - - -- cgit v1.2.3