transExp :: Exp -> Result
transExp x = case x of
- BExp exp0 bop exp -> failure x
- EVar id -> failure x
EAss id exp -> failure x
+ EVar id -> failure x
EInt n -> 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
- OpExp exp0 op exp -> failure x
+ BiOpExp exp0 op exp -> failure x
EPost id op -> failure x
Program stms -> failure x
-transBOp :: BOp -> Result
-transBOp x = case x of
+transOp :: Op -> Result
+transOp x = case x of
Lt -> failure x
ELt -> failure x
Gt -> failure x
EGt -> failure x
Eq -> failure x
NEq -> failure x
-
-
-transOp :: Op -> Result
-transOp x = case x of
Plus -> failure x
Minus -> failure x
Times -> failure x