From 23b8136af27b0baaa8fcb5272a613d5f2ee447fa Mon Sep 17 00:00:00 2001
From: aarne <aarne@cs.chalmers.se>
Date: Tue, 17 Jun 2008 13:16:15 +0000
Subject: started examples-3.0 with examples that are tested to work

---
 examples-3.0/tutorial/calculator/CalculatorP.gf | 27 +++++++++++++++++++++++++
 1 file changed, 27 insertions(+)
 create mode 100644 examples-3.0/tutorial/calculator/CalculatorP.gf

(limited to 'examples-3.0/tutorial/calculator/CalculatorP.gf')

diff --git a/examples-3.0/tutorial/calculator/CalculatorP.gf b/examples-3.0/tutorial/calculator/CalculatorP.gf
new file mode 100644
index 000000000..57ac549c1
--- /dev/null
+++ b/examples-3.0/tutorial/calculator/CalculatorP.gf
@@ -0,0 +1,27 @@
+--# -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 ++ ")") ;
+}
-- 
cgit v1.2.3