From 6ec3a53d3cd1666696430d25e1d0c746f3c7dde8 Mon Sep 17 00:00:00 2001
From: aarne <unknown>
Date: Fri, 17 Sep 2004 22:02:35 +0000
Subject: C compiler

---
 examples/gfcc/Imper.gf | 52 ++++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 52 insertions(+)
 create mode 100644 examples/gfcc/Imper.gf

(limited to 'examples/gfcc/Imper.gf')

diff --git a/examples/gfcc/Imper.gf b/examples/gfcc/Imper.gf
new file mode 100644
index 000000000..e67e504f8
--- /dev/null
+++ b/examples/gfcc/Imper.gf
@@ -0,0 +1,52 @@
+abstract Imper = {
+
+  cat
+    Stm ;
+    Typ ;
+    Exp Typ ;
+    Var Typ ;
+
+  fun
+    Decl   : (A : Typ) -> (Var A -> Stm) -> Stm ;
+    Assign : (A : Typ) -> Var A -> Exp A -> Stm ;
+    Return : (A : Typ) -> Exp A -> Stm ;
+    While  : Exp TInt -> Stm -> Stm ;
+    Block  : Stm -> Stm ;
+    None   : Stm ;
+    Next   : Stm -> Stm -> Stm ;
+
+    EVar   : (A : Typ) -> Var A -> Exp A ;
+    EInt   : Int -> Exp TInt ;
+    EFloat : Int -> Int -> Exp TFloat ;
+    EAddI  : Exp TInt -> Exp TInt -> Exp TInt ;
+    EAddF  : Exp TFloat -> Exp TFloat -> Exp TFloat ;
+
+    TInt   : Typ ;
+    TFloat : Typ ;
+
+  cat
+    Program ;
+    Typs ;
+    Fun Typs Typ ;
+    Body Typs ;
+    Exps Typs ;
+
+  fun
+    Empty : Program ;
+    Funct : (AS : Typs) -> (V : Typ) -> 
+              (Body AS) -> (Fun V AS -> Program) -> Program ;
+
+    NilTyp : Typs ;
+    ConsTyp : Typ -> Typs -> Typs ;
+
+    BodyNil  : Stm -> Body NilTyp ;
+    BodyCons : (A : Typ) -> (AS : Typs) -> 
+                  (Var A -> Body AS) -> Body (ConsTyp A AS) ;
+
+    EApp  : (args : Typs) -> (val : Typ) -> Fun args val -> Exps args -> Exp val ;
+
+    NilExp : Exps NilTyp ;
+    ConsExp : (A : Typ) -> (AS : Typs) -> 
+                 Exp A -> Exps AS -> Exps (ConsExp A AS) ;
+
+}
-- 
cgit v1.2.3