-- SFor. Stm ::= "for" "(" Stm Exp ";" Exp ")" Stm ;
SPrint. Stm ::= "print" Exp ";" ;
+EAss. Exp ::= Ident "=" Exp;
BExp. Exp ::= Exp1 BOp Exp1 ;
op1. Exp1 ::= Exp1 Op1 Exp2 ;
define op1 e1 o e2 = OpExp e1 o e2 ;
postDecr. Exp3 ::= Ident "--" ;
define postDecr i = EPost i Minus ;
EVar. Exp3 ::= Ident ;
-EAss. Exp3 ::= Ident "=" Exp;
EInt. Exp3 ::= Integer ;
ENeg. Exp3 ::= "-" Exp3 ;
EBool. Exp3 ::= Bool ;
coercions Exp 3 ;
-_. Stm ::= Stm ";" ;
+-- _. Stm ::= Stm ";" ;
terminator Stm "" ;