summaryrefslogtreecommitdiff
path: root/examples/tutorial/calculator/CalculatorJ.gf
diff options
context:
space:
mode:
Diffstat (limited to 'examples/tutorial/calculator/CalculatorJ.gf')
-rw-r--r--examples/tutorial/calculator/CalculatorJ.gf4
1 files changed, 2 insertions, 2 deletions
diff --git a/examples/tutorial/calculator/CalculatorJ.gf b/examples/tutorial/calculator/CalculatorJ.gf
index 0df7b73fe..68ff5342c 100644
--- a/examples/tutorial/calculator/CalculatorJ.gf
+++ b/examples/tutorial/calculator/CalculatorJ.gf
@@ -9,13 +9,13 @@ concrete CalculatorJ of Calculator = open Prelude in {
lin
PEmpty = ss [] ;
- PDecl exp prog = ss (exp.s ++ ";" ++ prog.s) ;
+ PInit exp prog = ss (exp.s ++ ";" ++ "istore" ++ prog.$0 ++ ";" ++ prog.s) ;
PAss vr exp prog = ss (exp.s ++ ";" ++ "istore" ++ vr.s ++ ";" ++ prog.s) ;
EPlus = postfix "iadd" ;
EMinus = postfix "isub" ;
ETimes = postfix "imul" ;
- EDiv = postfix "imul" ;
+ EDiv = postfix "idiv" ;
EInt = prefixSS "iconst" ;
EVar = prefixSS "iload" ;