diff options
| author | aarne <unknown> | 2004-11-08 09:27:30 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2004-11-08 09:27:30 +0000 |
| commit | 87334b8075b6e8dde34550ab876c84ae15222faa (patch) | |
| tree | be68ed0cdbb8f6f3bb002af4d053b648606a6bfa /examples | |
| parent | 7dd63a449f9683e56d310148cadd813599323a0b (diff) | |
update doc
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 ; |