False -> failure x
+transType :: Type -> Result
+transType x = case x of
+ TInt -> failure x
+ TBool -> failure x
+
+
+transStms :: Stms -> Result
+transStms x = case x of
+ Program stms -> failure x
+
+
transStm :: Stm -> Result
transStm x = case x of
- SDecl type' id exp -> failure x
SExp exp -> failure x
SBlock stms -> failure x
- SIf exp stm0 stm -> 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
SNoop -> failure x
EAss id exp -> failure x
EVar id -> failure x
EInt n -> failure x
+ EBool bool -> failure x
ENeg exp -> failure x
ENot exp -> failure x
- EBool bool -> failure x
EReadI -> failure x
EReadB -> failure x
- ExpT type' exp -> failure x
- EDefault -> failure x
BiOpExp exp0 op exp -> failure x
EPost id op -> failure x
-transStms :: Stms -> Result
-transStms x = case x of
- Program stms -> failure x
-
-
transOp :: Op -> Result
transOp x = case x of
Lt -> failure x
Div -> failure x
-transType :: Type -> Result
-transType x = case x of
- TInt -> failure x
- TBool -> failure x
- NoType -> failure x
-
-