m-chrzan.xyz
aboutsummaryrefslogtreecommitdiff
path: root/Schmim.hs
blob: 3c0bc79a878c68ef8ac3e0fdbf6682485bde8632 (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
47
48
49
50
51
52
53
54
55
56
57
58
59
module Main where

import System.IO ( stdin, hGetContents )
import System.Environment ( getArgs, getProgName )
import System.Exit ( exitFailure, exitSuccess )

import Parser.LexSchmim
import Parser.ParSchmim
import Parser.SkelSchmim
import Parser.PrintSchmim
import Parser.AbsSchmim

import Eval

import Parser.ErrM

type ParseFun a = [Token] -> Err a

myLLexer = myLexer

type Verbosity = Int

putStrV :: Verbosity -> String -> IO ()
putStrV v s = if v > 1 then putStrLn s else return ()

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

run :: Verbosity -> ParseFun Exp -> String -> IO ()
run v p s = let ts = myLLexer s in case p ts of
           Bad s    -> do putStrLn "\nParse              Failed...\n"
                          exitFailure
           Ok  tree -> do let res = interp tree
                          case res of
                            (Left err) -> do putStrLn $ "Error: " ++ err
                                             exitFailure
                            (Right v) -> print v

                          exitSuccess

usage :: IO ()
usage = do
  putStrLn $ unlines
    [ "usage: Call with one of the following argument combinations:"
    , "  --help          Display this help message."
    , "  (no arguments)  Parse stdin verbosely."
    , "  (files)         Parse content of files verbosely."
    , "  -s (files)      Silent mode. Parse content of files silently."
    ]
  exitFailure

main :: IO ()
main = do
  args <- getArgs
  case args of
    ["--help"] -> usage
    [] -> hGetContents stdin >>= run 2 pExp
    "-s":fs -> mapM_ (runFile 0 pExp) fs
    fs -> mapM_ (runFile 2 pExp) fs