From 2bd22e078aa0205f60bb414d2e7f17d73db1eaea Mon Sep 17 00:00:00 2001
From: aarne <unknown>
Date: Mon, 1 Nov 2004 21:41:18 +0000
Subject: some bug fixes in type check and solve

---
 examples/gfcc/Imper.gf | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'examples')

diff --git a/examples/gfcc/Imper.gf b/examples/gfcc/Imper.gf
index db7f3e8c8..14f3041dc 100644
--- a/examples/gfcc/Imper.gf
+++ b/examples/gfcc/Imper.gf
@@ -25,8 +25,8 @@ abstract Imper = {
 
     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 ;
+    While   : Exp (TNum TInt) -> Stm -> Stm -> Stm ;
+    IfElse  : Exp (TNum TInt) -> Stm -> Stm -> Stm -> Stm ;
     Block   : Stm -> Stm -> Stm ;
     Printf  : (A : Typ) -> Exp A -> Stm -> Stm ;
     Return  : (A : Typ) -> Exp A -> Stm ;
-- 
cgit v1.2.3