From 5a208ce3ea26726d15e814c0498680597cca45fa Mon Sep 17 00:00:00 2001
From: aarne <unknown>
Date: Sat, 25 Sep 2004 08:24:11 +0000
Subject: compiler works on abs and fibonacci

---
 examples/gfcc/Imper.gf | 16 +++++++++-------
 1 file changed, 9 insertions(+), 7 deletions(-)

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

diff --git a/examples/gfcc/Imper.gf b/examples/gfcc/Imper.gf
index 28ac3d4bd..06b2f9d95 100644
--- a/examples/gfcc/Imper.gf
+++ b/examples/gfcc/Imper.gf
@@ -24,13 +24,15 @@ abstract Imper = PredefAbs ** {
     RecCons : (A : Typ) -> (AS : ListTyp) -> 
                   (Var A -> Rec AS) -> Program -> Rec (ConsTyp A AS) ;
 
-    Decl   : (A : Typ) -> (Var A -> Stm) -> Stm ;
-    Assign : (A : Typ) -> Var A -> Exp A -> Stm -> Stm ;
-    Return : (A : Typ) -> Exp A -> Stm ;
-    While  : Exp TInt -> Stm -> Stm -> Stm ;
-    IfElse : Exp TInt -> Stm -> Stm -> Stm -> Stm ;
-    Block  : Stm -> Stm -> Stm ;
-    End    : Stm ;
+    Decl    : (A : Typ) -> (Var A -> Stm) -> Stm ;
+    Assign  : (A : Typ) -> Var A -> Exp A -> Stm -> Stm ;
+    While   : Exp TInt -> Stm -> Stm -> Stm ;
+    IfElse  : Exp TInt -> Stm -> Stm -> Stm -> Stm ;
+    Block   : Stm -> Stm -> Stm ;
+    Printf  : (A : Typ) -> Exp A -> Stm -> Stm ;
+    Return  : (A : Typ) -> Exp A -> Stm ;
+    Returnv : Stm ;
+    End     : Stm ;
 
     EVar   : (A : Typ) -> Var A -> Exp A ;
     EInt   : Int -> Exp (TNum TInt) ;
-- 
cgit v1.2.3