X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;ds=sidebyside;f=gen.icl;h=a37fedf060fc18e27eabf4bf4617e20c4ec8143d;hb=d5239ed85ef46f3ada3857103dd63a1853da918c;hp=269ef14232a08d344bf70f5f22082cd6ef37d4fd;hpb=c922c4eb59493bbc73add331a348230978d0d036;p=cc1516.git diff --git a/gen.icl b/gen.icl index 269ef14..a37fedf 100644 --- a/gen.icl +++ b/gen.icl @@ -4,10 +4,9 @@ import StdMisc import StdList import StdOverloaded import StdString -from StdFunc import id +from StdFunc import id, const import StdTuple import StdEnum -from StdEnv import const import Data.Func import qualified Data.Map as Map @@ -25,8 +24,6 @@ from Text import class Text(concat), instance Text String import AST import RWST -//Instruction is an instruction, with possible arguments and a possible comment -//Or is a label TRUE :== -1 FALSE :== 0 :: Instr = Instr String [Arg] String @@ -45,23 +42,12 @@ FALSE :== 0 labelStream :: [Label] labelStream = ["lbl_" +++ toString i\\i<-[1..]] -gen :: AST -> String +gen :: AST -> Either String String gen (AST fds) = case evalRWST prog "" ('Map'.newMap, labelStream) of - Left (Error e) = e - Right (_, p) = toString p + Left (Error e) = Left e + Right (_, p) = Right $ toString p where prog = tell [Instr "bra" [L "main"] ""] >>| mapM_ g fds -//gen _ = prog -// where -// expr = (Op2Expr zero (Op1Expr zero UnMinus (IntExpr zero 4)) BiPlus (IntExpr zero 7)) -// expr2 = (FunExpr zero "test" [IntExpr zero 4] []) -// stmt = (IfStmt (BoolExpr zero True) [] []) -// prog = case evalRWST (g stmt) 0 ('Map'.newMap, labelStream) of -// Left (Error e) = abort e -// Right (_, prog) = toString prog -//gen _ = toString [Lab "Test" -// ,Instr "ldc" [Lit 1] "Eerste instructie" -// ,Instr "ldc" [Lit 2] "Tweede instructie"] //Current issues: //All VarDecls are added as function, how to deal with assignments?