diff options
| author | aarne <unknown> | 2004-11-01 21:41:18 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2004-11-01 21:41:18 +0000 |
| commit | 2bd22e078aa0205f60bb414d2e7f17d73db1eaea (patch) | |
| tree | 4a070991183a09d21f4a517bf05fd4cfa1610df5 /examples/gfcc | |
| parent | 42ff99469a12e54958f07b58b24f69834c9c1569 (diff) | |
some bug fixes in type check and solve
Diffstat (limited to 'examples/gfcc')
| -rw-r--r-- | examples/gfcc/Imper.gf | 4 |
1 files changed, 2 insertions, 2 deletions
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 ; |