- g _ = abort "hoi"
- g (FunExpr _ k es fs) = abort "FunExpr unsupported modderfokker"
- // mapM g es >>| //put all arguments on the stack (todo: fix argument handling!)
- // jump "bsr" k >>= \instr->
- // tell [instr] >>| //actually branch to function
- // tell [Instr "ldr" [Raw "RR"] ""] //push return value on stack, todo: check for VOID
-//
-//instance g Stmt where
-// g (IfStmt cond th el) =
-// fresh >>= \elseLabel->
-// fresh >>= \endLabel->
-// g cond >>|
-// tell [Instr "brf" [L elseLabel] "branch else"] >>|
-// mapM_ g th >>|
-// tell [Instr "bra" [L endLabel] "branch end if"] >>|
-// tell [Lab elseLabel] >>|
-// mapM_ g el >>|
-// tell [Lab endLabel]
-// g (WhileStmt cond th) =
-// fresh >>= \startLabel->
-// fresh >>= \endLabel ->
-// tell [Lab startLabel] >>|
-// g cond >>|
-// tell [Instr "brf" [L endLabel] "branch end while"] >>|
-// mapM_ g th >>|
-// tell [Instr "bra" [L startLabel] "branch start while"] >>|
-// tell [Lab endLabel]
-// g (AssStmt (VarDef k fs) e) =
-// g e >>|
-// abort "Shit, an assignment, figure out something with storing vars or something"
-// //vars will be on stack in locals (possible pointers to heap)
-// g (FunStmt _ _) = abort "CodeGen, FunStmt unused" //not used
-// g (ReturnStmt Nothing) = tell [Instr "ret" [] ""] //NOTE! Assumes only return address on stack, safe?
-// g (ReturnStmt (Just e)) =
-// g e >>|
-// tell [Instr "str" [Raw "RR"] ""] >>|
-// g (ReturnStmt Nothing)
-
-instance g VarDecl where
- g (VarDecl _ Nothing _ _) = liftT (Left $ Error "PANIC: untyped vardecl")
- g (VarDecl _ (Just t) k e) = g e
-// TupleType (t1, t2) = g e
-// ListType t = abort "listtype"
-// IdType _ = liftT (Left $ Error "PANIC: unresolved typevariable")
-// t1 ->> t2 = abort "funtype"
-// VoidType = liftT (Left $ Error "PANIC: Void vardecl")
-// _ = g e
+ g (VarExpr _ (VarDef k fs)) = getAdressbook >>= \ab->case 'Map'.get k ab of
+ Nothing = liftT (Left $ Error "PANIC: undefined variable")
+ Just (ADDR t) = tell [Instr "ldl" [Lit t] ""]
+ Just (LAB t) = liftT (Left $ Error "PANIC: variable and function name clash")
+ //load k >>= \instr-> tell [instr] //note: pure is pure for list, i.e. []
+ g (FunExpr _ k es fs) =
+ mapM_ g es
+ >>| jump "bsr" k
+ >>| mapM_ (const $ tell [Instr "ajs" [Lit -1] ""]) es //clean up args
+ >>| tell [Instr "ldr" [Raw "RR"] ""]
+
+jump :: String String -> Gen ()
+jump instr k = getAdressbook >>= \ab->case 'Map'.get k ab of
+ Nothing = liftT (Left $ Error $ concat ["PANIC: ", k, " not found as function"])
+ Just (LAB t) = tell [Instr instr [L t] (k +++"()")]
+ Just (ADDR t) = liftT (Left $ Error $ "PANIC: jump should go to label")
+
+instance g Stmt where
+ g (IfStmt cond th el) =
+ fresh >>= \elseLabel->
+ fresh >>= \endLabel->
+ g cond >>|
+ tell [Instr "brf" [L elseLabel] "branch else"] >>|
+ mapM_ g th >>|
+ tell [Instr "bra" [L endLabel] "branch end if"] >>|
+ tell [Lab elseLabel] >>|
+ mapM_ g el >>|
+ tell [Lab endLabel]
+ g (WhileStmt cond th) =
+ fresh >>= \startLabel->
+ fresh >>= \endLabel ->
+ tell [Lab startLabel] >>|
+ g cond >>|
+ tell [Instr "brf" [L endLabel] "branch end while"] >>|
+ mapM_ g th >>|
+ tell [Instr "bra" [L startLabel] "branch start while"] >>|
+ tell [Lab endLabel]
+ g (AssStmt (VarDef k fs) e) =
+ g e >>| getAdressbook >>= \ab->case 'Map'.get k ab of
+ Nothing = liftT (Left $ Error $ concat ["PANIC: ", k, " not found as var"])
+ Just (LAB t) = liftT (Left $ Error $ "PANIC: cannot assign to function")
+ Just (ADDR t) = tell [Instr "stl" [Lit t] ""]
+ g (FunStmt k es) = mapM_ g es
+ >>| jump "bsr" k
+ >>| mapM_ (const $ tell [Instr "ajs" [Lit -1] ""]) es //clean up args
+ >>| pure ()
+ g (ReturnStmt Nothing) = tell [Instr "unlink" [] ""]
+ >>| tell [Instr "ret" [] ""]
+ g (ReturnStmt (Just e)) = g e
+ >>| tell [Instr "str" [Raw "RR"] ""]
+ >>| g (ReturnStmt Nothing)
+
+foldVarDecl :: Int VarDecl -> Gen Int
+foldVarDecl x (VarDecl _ _ k e) = g e
+ >>| annote x k
+ >>| updateAdressbook (extend k (ADDR x)) >>| pure (x + 1)
+
+addVars :: [String] -> (Addressbook -> Addressbook)
+addVars [] = id
+addVars [x:xs] = \ab->extend x (ADDR (-2 - (length xs))) (addVars xs ab)