TBool -> failure x
-transStms :: Stms -> Result
-transStms x = case x of
- Program stms -> failure x
+transProgram :: Program -> Result
+transProgram x = case x of
+ Program funcstms -> failure x
transStm :: Stm -> Result
transStm x = case x of
SExp exp -> failure x
SBlock stms -> failure x
+ SDecl type' id exp -> failure x
+ SDeclD type' id -> failure x
SWhile exp stm -> failure x
SIf exp stm0 stm -> failure x
SPrint exp -> failure x
+ SReturn exp -> failure x
SNoop -> failure x
- SDecl type' id exp -> failure x
transExp :: Exp -> Result
ENot exp -> failure x
EReadI -> failure x
EReadB -> failure x
+ EFunc id exps -> failure x
BiOpExp exp0 op exp -> failure x
EPost id op -> failure x
+transDecl :: Decl -> Result
+transDecl x = case x of
+ Decl type' id -> failure x
+
+
+transFunc :: Func -> Result
+transFunc x = case x of
+ Func type' id decls stms -> failure x
+
+
+transFuncStm :: FuncStm -> Result
+transFuncStm x = case x of
+ S stm -> failure x
+ F func -> failure x
+
+
transOp :: Op -> Result
transOp x = case x of
Lt -> failure x