summaryrefslogtreecommitdiff
path: root/old-examples/tutorial/calculator/CalculatorP.gf
diff options
context:
space:
mode:
authoraarne <aarne@cs.chalmers.se>2008-06-27 09:18:50 +0000
committeraarne <aarne@cs.chalmers.se>2008-06-27 09:18:50 +0000
commit5c713d8f027a9b6be687ee3f7e917e8bd2115773 (patch)
tree65da19829810b753345a5b2164bef2d8876268dd /old-examples/tutorial/calculator/CalculatorP.gf
parentf7b2a83059697f1b36a6369e489ac276e7ff875d (diff)
took away old-examples
Diffstat (limited to 'old-examples/tutorial/calculator/CalculatorP.gf')
-rw-r--r--old-examples/tutorial/calculator/CalculatorP.gf27
1 files changed, 0 insertions, 27 deletions
diff --git a/old-examples/tutorial/calculator/CalculatorP.gf b/old-examples/tutorial/calculator/CalculatorP.gf
deleted file mode 100644
index 57ac549c1..000000000
--- a/old-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 ++ ")") ;
-}