diff options
Diffstat (limited to 'examples/tutorial/calculator/CalculatorJ.gf')
| -rw-r--r-- | examples/tutorial/calculator/CalculatorJ.gf | 25 |
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) ; -} |
