From 14f185d326590f6656cf7b8c734fbfc87cf0605b Mon Sep 17 00:00:00 2001
From: aarne <aarne@cs.chalmers.se>
Date: Mon, 3 Sep 2007 19:21:50 +0000
Subject: calculator ex

---
 examples/tutorial/calculator/Calculator.gf | 25 +++++++++++++++++++++++++
 1 file changed, 25 insertions(+)
 create mode 100644 examples/tutorial/calculator/Calculator.gf

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

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