summaryrefslogtreecommitdiff
path: root/examples/tutorial/calculator/CalculatorP.gf
diff options
context:
space:
mode:
Diffstat (limited to 'examples/tutorial/calculator/CalculatorP.gf')
-rw-r--r--examples/tutorial/calculator/CalculatorP.gf27
1 files changed, 0 insertions, 27 deletions
diff --git a/examples/tutorial/calculator/CalculatorP.gf b/examples/tutorial/calculator/CalculatorP.gf
deleted file mode 100644
index 57ac549c1..000000000
--- a/examples/tutorial/calculator/CalculatorP.gf
+++ /dev/null
@@ -1,27 +0,0 @@
---# -path=.:prelude
-
-concrete CalculatorP of Calculator = open Prelude in {
-
- flags lexer=codevars ; unlexer=code ;
-
- lincat
- Prog, Var = SS ;
- Exp = SS ;
-
- lin
- PEmpty = ss [] ;
- PDecl exp prog = ss ("int" ++ prog.$0 ++ "=" ++ exp.s ++ ";" ++ prog.s) ;
- PAss vr exp prog = ss (vr.s ++ "=" ++ exp.s ++ ";" ++ prog.s) ;
-
- EPlus = infix "+" ;
- EMinus = infix "-" ;
- ETimes = infix "*" ;
- EDiv = infix "/" ;
-
- EInt i = i ;
- EVar x = x ;
-
- oper
- infix : Str -> SS -> SS -> SS = \f,x,y ->
- ss ("(" ++ x.s ++ f ++ y.s ++ ")") ;
-}