diff options
Diffstat (limited to 'examples')
| -rw-r--r-- | examples/gfcc/complin.tex | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/examples/gfcc/complin.tex b/examples/gfcc/complin.tex index 625ceed6e..f2803a6fe 100644 --- a/examples/gfcc/complin.tex +++ b/examples/gfcc/complin.tex @@ -1151,8 +1151,8 @@ abstract Imper = PredefAbs ** { 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 ; |