diff options
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 ; |