Either Hot Shit or Total Bollocks

Author: felixbd

README.org

@@ -104,7 +104,7 @@ since this is a bit tidies i allowed users to use expressions in the context
 
 (refer to the grammar defined above)
 
-shortened (not completely while-language correct ...) version
+shortened (not commpletely while-language correct ...) version
 
 #+begin_src
 x0 := 0;
@@ -115,86 +115,41 @@ loop x2 do x0 := x0 + x1 end
 #+end_src
 
 
-#+begin_src shell
-felix in ~/git-repos/hub/while on dev ● λ stack build
-felix in ~/git-repos/hub/while on dev ● λ stack run
-
- = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = =
-
-Enter the file name:
-./examples/multiplication-func.while
-[READING .WHILE FILE] "./examples/multiplication-func.while"
-
-[DONE TOKENIZE]:
-[MetaToken {getLineNumber = 1, getToken = VarToken {getVarName = "rv"}},
-MetaToken {getLineNumber = 1, getToken = AssignToken},
-MetaToken {getLineNumber = 1, getToken = ConstToken {getConstInt = 0}},
-MetaToken {getLineNumber = 1, getToken = SemicolonToken},
-MetaToken {getLineNumber = 2, getToken = VarToken {getVarName = "a"}},
-MetaToken {getLineNumber = 2, getToken = AssignToken},
-MetaToken {getLineNumber = 2, getToken = ConstToken {getConstInt = 420}},
-MetaToken {getLineNumber = 2, getToken = SemicolonToken},
-MetaToken {getLineNumber = 3, getToken = VarToken {getVarName = "b"}},
-MetaToken {getLineNumber = 3, getToken = AssignToken},
-MetaToken {getLineNumber = 3, getToken = ConstToken {getConstInt = 69}},
-MetaToken {getLineNumber = 3, getToken = SemicolonToken},
-MetaToken {getLineNumber = 5, getToken = WhileToken},
-MetaToken {getLineNumber = 5, getToken = VarToken {getVarName = "b"}},
-MetaToken {getLineNumber = 5, getToken = NotEqualToken},
-MetaToken {getLineNumber = 5, getToken = ConstToken {getConstInt = 0}},
-MetaToken {getLineNumber = 5, getToken = DoToken},
-MetaToken {getLineNumber = 6, getToken = VarToken {getVarName = "temp"}},
-MetaToken {getLineNumber = 6, getToken = AssignToken},
-MetaToken {getLineNumber = 6, getToken = VarToken {getVarName = "rv"}},
-MetaToken {getLineNumber = 6, getToken = SemicolonToken},
-MetaToken {getLineNumber = 7, getToken = LoopToken},
-MetaToken {getLineNumber = 7, getToken = VarToken {getVarName = "a"}},
-MetaToken {getLineNumber = 7, getToken = DoToken},
-MetaToken {getLineNumber = 7, getToken = VarToken {getVarName = "temp"}},
-MetaToken {getLineNumber = 7, getToken = AssignToken},
-MetaToken {getLineNumber = 7, getToken = VarToken {getVarName = "temp"}},
-MetaToken {getLineNumber = 7, getToken = PlusToken},
-MetaToken {getLineNumber = 7, getToken = ConstToken {getConstInt = 1}},
-MetaToken {getLineNumber = 7, getToken = EndToken},
-MetaToken {getLineNumber = 7, getToken = SemicolonToken},
-MetaToken {getLineNumber = 8, getToken = VarToken {getVarName = "rv"}},
-MetaToken {getLineNumber = 8, getToken = AssignToken},
-MetaToken {getLineNumber = 8, getToken = VarToken {getVarName = "temp"}},
-MetaToken {getLineNumber = 8, getToken = SemicolonToken},
-MetaToken {getLineNumber = 10, getToken = VarToken {getVarName = "b"}},
-MetaToken {getLineNumber = 10, getToken = AssignToken},
-MetaToken {getLineNumber = 10, getToken = VarToken {getVarName = "b"}},
-MetaToken {getLineNumber = 10, getToken = MinusToken},
-MetaToken {getLineNumber = 10, getToken = ConstToken {getConstInt = 1}},
-MetaToken {getLineNumber = 11, getToken = EndToken}]
-
-[DONE PARSING AST]:
-Sequential
-    (Assignment "rv" (Constant {getConst = 0}))
-    (Sequential
-        (Assignment "a" (Constant {getConst = 420}))
-        (Sequential
-            (Assignment "b" (Constant {getConst = 69}))
-            (While
-                (Neq (Variable {getVar = "b"}) (Constant {getConst = 0}))
-                (Sequential
-                    (Assignment "temp" (Variable {getVar = "rv"}))
-                    (Sequential
-                        (Loop
-                            (Variable {getVar = "a"})
-                            (Assignment "temp" (Add (Variable {getVar = "temp"}) (Constant {getConst = 1}))))
-                            (Sequential
-                                (Assignment "rv" (Variable {getVar = "temp"}))
-                                (Assignment "b" (Subtract (Variable {getVar = "b"}) (Constant {getConst = 1})))))))))
-
-[OUTPUT OF EVALUATION]:
-[("temp",28980),("b",0),("a",420),("rv",28980)]
+*** how to call `stack run`
 
- = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = =
+#+begin_src shell :exports both :results output
+stack run
+#+end_src
 
-felix in ~/git-repos/hub/while on dev ● λ
+#+RESULTS:
+:
+: = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = =
+: [Error]: Usage: stack run <filename>
+: Use 'stack run <filename>' to interpret a while source file.
+: = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = =
+:
+
+#+begin_src shell :exports both :results output
+stack run ./examples/multiplication-func.while
 #+end_src
 
+#+RESULTS:
+#+begin_example
+
+= = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = =
+
+[Interpreting file]    ./examples/multiplication-func.while
+[READING .WHILE FILE] "./examples/multiplication-func.while"
+[DONE TOKENIZE]
+[DONE PARSING AST]
+[RESULT OF EVALUATION]
+[("temp",28980),("b",0),("a",420),("rv",28980)]
+
+= = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = =
+
+#+end_example
+
+
 *** compile
 
 #+begin_src shell
@@ -225,40 +180,46 @@ stack exec hlint src/*.hs app/*.hs test/*.hs
 
 ** requirements
 
-*** [[https://docs.haskellstack.org/en/stable/][Haskell Tool Stack]]
+*** using `apt`
+
+**** [[https://docs.haskellstack.org/en/stable/][Haskell Tool Stack]]
 
 #+begin_src shell
 curl -SL https://get.haskellstack.org/ | sh
 #+end_src
 
-#+begin_example
-Pro tip: you should look at the file before you run it
-#+end_example
 
-
-*** [[https://www.haskell.org/ghc/][Glasgow Haskell Compiler]]
+**** [[https://www.haskell.org/ghc/][Glasgow Haskell Compiler]]
 
 #+begin_src shell
 apt install ghc
 #+end_src
 
-#+begin_example
-Pro tip: GHC has a interactive shell called `ghci`
+**** [[https://github.com/ndmitchell/hlint#readme][HLint]]
 
-- `:e` for edit
-- `:l filename` for loading files
-- `:r` for reloading
-- etc.
-#+end_example
+#+begin_src shell
+apt install hlint
+#+end_src
 
 
-*** [[https://github.com/ndmitchell/hlint#readme][HLint]]
+*** using `nix`
 
 #+begin_src shell
-apt install hlint
+nix-shell
+#+end_src
+
+**** hlint
+
+#+begin_src shell
+hlint src/*.hs app/*.hs test/*.hs
 #+end_src
 
 
+**** build and run
+
+same as before
+
+
 ** LICENSE (BSD-3-Clause)
 
 #+begin_src shell :exports both :results output

app/Main.hs

@@ -3,31 +3,52 @@
 
 module Main (main) where
 
+import System.Environment (getArgs)
+
 import WhileParser (tokenize, readFileContent, runASTParser)  -- WhileAST(..),
 import WhileEvaluation (eval) --, evalM, VarName, VarVal, VarState, VarStateWorld)
 
 
-main :: IO ()
-main = do
-  putStrLn $ "\n" ++ concat (replicate 40 " =") ++ "\n"
+-- | Define a data type to represent the command-line options
+newtype Options = Options { getFileName :: FilePath }
+
+
+-- | Parse command-line arguments manually
+parseArgs :: [String] -> Either String Options
+parseArgs [file] = Right $ Options file
+parseArgs _      = Left "Usage: stack run <filename>"
 
-  -- Prompt the user for the file name
-  putStrLn "Enter the file name:"
-  fileName <- getLine
+-- | Run interpreter logic with the parsed options
+runInterpreter :: Options -> IO ()
+runInterpreter options = do
+  putStrLn $ "\n" ++ concat (replicate 40 "= ") ++ "=\n"
+
+  putStrLn $ "\ESC[92m[Interpreting file]\ESC[0m    " ++ getFileName options
 
   -- Read the content of the specified file
-  whileLines <- readFileContent fileName  -- "./examples/simple.while"
+  whileLines <- readFileContent $ getFileName options
   let tokens = tokenize whileLines
 
-  putStrLn "\n\ESC[92m[DONE TOKENIZE]\ESC[0m:"
-  print tokens
+  putStrLn "\ESC[92m[DONE TOKENIZE]\ESC[0m"
+  -- print tokens
 
-  let astOfFoo = runASTParser tokens
-  putStrLn "\n\ESC[92m[DONE PARSING AST]\ESC[0m:"
-  print astOfFoo
+  let ast = runASTParser tokens
+  putStrLn "\ESC[92m[DONE PARSING AST]\ESC[0m"
+  -- print ast
 
-  putStrLn "\n\ESC[92m[OUTPUT OF EVALUATION]\ESC[0m:"
-  let a = eval astOfFoo []
+  putStrLn "\ESC[92m[RESULT OF EVALUATION]\ESC[0m"
+  let a = eval ast []
   print a
 
-  putStrLn $ "\n" ++ concat (replicate 40 " =") ++ "\n"
+  putStrLn $ "\n" ++ concat (replicate 40 "= ") ++ "=\n"
+
+
+main :: IO ()
+main = do
+  args <- getArgs
+  case parseArgs args of
+    Left err -> putStrLn $ vbar ++ "\ESC[91m[Error]\ESC[0m: " ++ err ++
+      "\nUse 'stack run <filename>' to interpret a while source file." ++ vbar
+    Right options -> runInterpreter options
+  where
+    vbar = "\n" ++ concat (replicate 40 "= ") ++ "=\n"

shell.nix

@@ -0,0 +1,15 @@
+{ pkgs ? import <nixpkgs> {} }:
+
+pkgs.mkShell {
+  name="dev-environment";
+
+  buildInputs = with pkgs; [
+    stack
+    ghc
+    hlint
+  ];
+
+  shellHook = ''
+    echo "Start developing..."
+  '';
+}