Implement Compiler

app/Compiler.hs

@@ -0,0 +1,19 @@
+module Compiler where
+
+import qualified AbstractSyntaxTree as AST
+
+data Command = Const Int -- Load integer const
+             | Add
+             | Sub
+             | Mult
+             | Div
+             deriving Show
+
+compile :: AST.AST -> [Command]
+compile = reverse . compile'
+    where compile' ast = case ast of
+                    AST.Scalar i -> [Const i]
+                    AST.Operation AST.Add left right  -> Add : compile' left ++ compile' right
+                    AST.Operation AST.Sub left right  -> Sub : compile' left ++ compile' right
+                    AST.Operation AST.Mult left right -> Mult : compile' left ++ compile' right
+                    AST.Operation AST.Div left right  -> Div : compile' left ++ compile' right

app/Main.hs

@@ -3,10 +3,11 @@ module Main where
 import qualified Lexer
 import qualified Parser
 import qualified AbstractSyntaxTree as AST
+import qualified Compiler
 
 main :: IO ()
 main = do
   source <- readFile "arithmetic.txt"
   case Parser.parse $ Lexer.lex source of
-    Just source -> print $ AST.createAST source
+    Just source -> print $ Compiler.compile $ AST.createAST source
     _ -> putStr "Some error"