1 files changed, 67 insertions, 0 deletions
diff --git a/src/Main.hs b/src/Main.hs
new file mode 100644
index 0000000..b596a84
--- /dev/null
+++ b/src/Main.hs
@@ -0,0 +1,67 @@
+module Main where
+
+import Control.Monad.Except
+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 System.Exit (exitFailure, exitSuccess)
+import System.IO (BufferMode (NoBuffering), hSetBuffering, stdin)
+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
+
+getFileName :: Config -> ExceptT LException IO String
+getFileName Config {configFileNameM = fileNameM} = do
+  case fileNameM of
+    Just str -> pure str
+    Nothing -> throwError $ LException "no filename specified"
+
+bootstrap :: [String] -> ExceptT LException IO ()
+bootstrap args = do
+  let initialConfig =
+        Config
+          { configFileNameM = Nothing,
+            configDebugMode = False
+          }
+
+  let config = getConfig initialConfig args
+  fileName <- getFileName config
+
+  debugPrint config $ fmt "executing file %%\n" [fileName]
+  source <- liftIO . readFile $ fileName
+  (parsedSource, strLitRefMap) <- parseSource source
+  debugPrint config $ fmt "parsed words:\n%%\n" [show parsedSource]
+  debugPrint config $ fmt "string literal refmap:\n%%\n" [show strLitRefMap]
+  debugPrint config "interpreter output:"
+  let initialState =
+        LState
+          { lDict = M.empty,
+            lStack = [],
+            lPhraseDepth = 0,
+            lDefs = M.empty,
+            lSource = parsedSource,
+            lStrLitRefMap = strLitRefMap
+          }
+  void $ interpretSource config initialState
+
+main :: IO ()
+main = do
+  hSetBuffering stdin NoBuffering
+  args <- getArgs
+  result <- runExceptT $ bootstrap args
+  case result of
+    Left (LException errStr) -> do
+      putStrLn $ "[error] " ++ errStr
+      exitFailure
+    _ -> exitSuccess