diff options
| author | aarne <unknown> | 2004-09-20 08:51:48 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2004-09-20 08:51:48 +0000 |
| commit | a3ae63e60bbcf5122c7d3762989815a4de6962c2 (patch) | |
| tree | 97a97fc1254c34dff6d1e9695fd83db626a4b723 /examples/gfcc/Imper.gf | |
| parent | 0e21dcbf543f9a0367e69abd7f5f19b7852911e3 (diff) | |
report ready
Diffstat (limited to 'examples/gfcc/Imper.gf')
| -rw-r--r-- | examples/gfcc/Imper.gf | 12 |
1 files changed, 4 insertions, 8 deletions
diff --git a/examples/gfcc/Imper.gf b/examples/gfcc/Imper.gf index 30739144c..2c1528d59 100644 --- a/examples/gfcc/Imper.gf +++ b/examples/gfcc/Imper.gf @@ -14,7 +14,7 @@ abstract Imper = { fun Empty : Program ; Funct : (AS : ListTyp) -> (V : Typ) -> - (Body AS) -> (Fun AS V -> Program) -> Program ; + Body AS -> (Fun AS V -> Program) -> Program ; BodyNil : Stm -> Body NilTyp ; BodyCons : (A : Typ) -> (AS : ListTyp) -> @@ -31,16 +31,12 @@ abstract Imper = { EVar : (A : Typ) -> Var A -> Exp A ; EInt : Int -> Exp TInt ; EFloat : Int -> Int -> Exp TFloat ; - EAddI : Exp TInt -> Exp TInt -> Exp TInt ; - EAddF : Exp TFloat -> Exp TFloat -> Exp TFloat ; - ESubI : Exp TInt -> Exp TInt -> Exp TInt ; - ESubF : Exp TFloat -> Exp TFloat -> Exp TFloat ; - EMulI : Exp TInt -> Exp TInt -> Exp TInt ; - EMulF : Exp TFloat -> Exp TFloat -> Exp TFloat ; ELtI : Exp TInt -> Exp TInt -> Exp TInt ; ELtF : Exp TFloat -> Exp TFloat -> Exp TInt ; EApp : (AS : ListTyp) -> (V : Typ) -> Fun AS V -> ListExp AS -> Exp V ; - + EAddI, EMulI, ESubI : Exp TInt -> Exp TInt -> Exp TInt ; + EAddF, EMulF, ESubF : Exp TFloat -> Exp TFloat -> Exp TFloat ; + TInt : Typ ; TFloat : Typ ; |