summaryrefslogtreecommitdiff
path: root/examples/tutorial/calculator/CalculatorE.gf
diff options
context:
space:
mode:
Diffstat (limited to 'examples/tutorial/calculator/CalculatorE.gf')
-rw-r--r--examples/tutorial/calculator/CalculatorE.gf27
1 files changed, 0 insertions, 27 deletions
diff --git a/examples/tutorial/calculator/CalculatorE.gf b/examples/tutorial/calculator/CalculatorE.gf
deleted file mode 100644
index f432d371a..000000000
--- a/examples/tutorial/calculator/CalculatorE.gf
+++ /dev/null
@@ -1,27 +0,0 @@
---# -path=.:prelude
-
-concrete CalculatorE of Calculator = open Prelude in {
-
- flags lexer=codevar ; unlexer=unwords ;
-
- lincat
- Prog, Exp, Var = SS ;
-
- lin
- PEmpty = ss [] ;
- PInit exp prog = ss ("initialize" ++ prog.$0 ++ "as" ++ exp.s ++ PAUSE ++ prog.s) ;
- PAss vr exp prog = ss ("redefine" ++ vr.s ++ "as" ++ exp.s ++ PAUSE ++ prog.s) ;
-
- EPlus = infix "plus" ;
- EMinus = infix "minus" ;
- ETimes = infix "times" ;
- EDiv = infix ["divided by"] ;
-
- EInt i = i ;
- EVar x = x ;
-
- oper
- infix : Str -> SS -> SS -> SS = \op,x,y ->
- ss (x.s ++ op ++ y.s ++ PAUSE) ;
- PAUSE = "PAUSE" ;
-}