summaryrefslogtreecommitdiff
path: root/examples/tutorial/calculator/CalculatorC.gf
diff options
context:
space:
mode:
Diffstat (limited to 'examples/tutorial/calculator/CalculatorC.gf')
-rw-r--r--examples/tutorial/calculator/CalculatorC.gf24
1 files changed, 0 insertions, 24 deletions
diff --git a/examples/tutorial/calculator/CalculatorC.gf b/examples/tutorial/calculator/CalculatorC.gf
deleted file mode 100644
index 53eade357..000000000
--- a/examples/tutorial/calculator/CalculatorC.gf
+++ /dev/null
@@ -1,24 +0,0 @@
---# -path=.:prelude
-
-concrete CalculatorC of Calculator = open Prelude, Formal in {
-
- flags lexer=codevars ; unlexer=code ;
-
- lincat
- Prog, Var = SS ;
- Exp = TermPrec ;
-
- lin
- PEmpty = ss [] ;
- PInit exp prog = ss ("int" ++ prog.$0 ++ "=" ++ top exp ++ ";" ++ prog.s) ;
- PAss vr exp prog = ss (vr.s ++ "=" ++ top exp ++ ";" ++ prog.s) ;
-
- EPlus = infixl 0 "+" ;
- EMinus = infixl 0 "-" ;
- ETimes = infixl 1 "*" ;
- EDiv = infixl 1 "/" ;
-
- EInt i = constant i.s ;
- EVar x = constant x.s ;
-
-}