blob: 6582b38bdc508692950140b3934632e9bdd8ff2e (
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
|
module Main where
import Data.Char
import Data.Map (Map, (!))
import qualified Data.Map as M
import Debug.Trace (trace, traceShow)
import Interpreter
import LTypes
import Parser
import System.Environment (getArgs)
import Utils
getConfig config [] = config
getConfig config ("--debug" : rest) =
let newConfig = config {configDebugMode = True}
in getConfig newConfig rest
getConfig config (fileName : rest) =
let newConfig = config {configFileNameM = Just fileName}
in getConfig newConfig rest
main :: IO ()
main = do
args <- getArgs
let initialConfig =
Config
{ configFileNameM = Nothing,
configDebugMode = False
}
let config = getConfig initialConfig args
let fileName = case configFileNameM config of
Just x -> x
Nothing -> error "[error] no file name specified"
debugPrint config $ "executing file " ++ fileName ++ "\n"
source <- readFile fileName
let (parsedSource, strLitRefMap) = parseSource source
debugPrint config $ "parsed words:\n" ++ show parsedSource ++ "\n"
debugPrint config $ "string literal refmap:\n" ++ show strLitRefMap ++ "\n"
debugPrint config "interpreter output:"
let initialState =
LState
{ lDict = M.empty,
lStack = [],
lPhraseDepth = 0,
lDefs = M.empty,
lSource = parsedSource,
lStrLitRefMap = strLitRefMap
}
interpretSource config initialState
|
