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.gf25
1 files changed, 0 insertions, 25 deletions
diff --git a/examples/tutorial/calculator/CalculatorJ.gf b/examples/tutorial/calculator/CalculatorJ.gf
deleted file mode 100644
index 68ff5342c..000000000
--- a/examples/tutorial/calculator/CalculatorJ.gf
+++ /dev/null
@@ -1,25 +0,0 @@
---# -path=.:prelude
-
-concrete CalculatorJ of Calculator = open Prelude in {
-
- flags lexer=codevars ; unlexer=code ;
-
- lincat
- Prog, Exp, Var = SS ;
-
- lin
- PEmpty = ss [] ;
- 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 "idiv" ;
-
- EInt = prefixSS "iconst" ;
- EVar = prefixSS "iload" ;
-
- oper
- postfix : Str -> SS -> SS -> SS = \op,x,y -> ss (x.s ++ ";" ++ y.s ++ ";" ++ op) ;
-}