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/Calculator.gf | 25 +++++++++++++++++++++++++
 1 file changed, 25 insertions(+)
 create mode 100644 examples-3.0/tutorial/calculator/Calculator.gf

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

diff --git a/examples-3.0/tutorial/calculator/Calculator.gf b/examples-3.0/tutorial/calculator/Calculator.gf
new file mode 100644
index 000000000..65192e226
--- /dev/null
+++ b/examples-3.0/tutorial/calculator/Calculator.gf
@@ -0,0 +1,25 @@
+abstract Calculator = {
+
+  flags startcat = Prog ;
+
+  cat Prog ; Exp ; Var ;
+
+  fun
+    PEmpty : Prog ;
+    PInit  : Exp -> (Var -> Prog) -> Prog ;
+    PAss   : Var -> Exp  -> Prog  -> Prog ;
+
+    EPlus, EMinus, ETimes, EDiv : Exp -> Exp -> Exp ;
+
+    EInt : Int -> Exp ;
+    EVar : Var -> Exp ;
+
+    ex1 : Prog ;
+
+  def
+    ex1 = 
+      PInit (EPlus (EInt 2) (EInt 3)) (\x -> 
+        PInit (EPlus (EVar x) (EInt 1)) (\y -> 
+          PAss x (EPlus (EVar x) (ETimes (EInt 9) (EVar y))) PEmpty)) ;
+
+}
-- 
cgit v1.2.3