diff options
| author | aarne <unknown> | 2004-12-20 07:57:05 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2004-12-20 07:57:05 +0000 |
| commit | 6e1f41b26af8154033fda32c573aba56d7cb89fb (patch) | |
| tree | cdfd17dd3a1444f3a921cadc6d0a141178767819 /examples/gfcc/ImperC.gf | |
| parent | 8caa3ed737900c0fc004b24720f909244d17dd59 (diff) | |
gfcc in Types
Diffstat (limited to 'examples/gfcc/ImperC.gf')
| -rw-r--r-- | examples/gfcc/ImperC.gf | 11 |
1 files changed, 5 insertions, 6 deletions
diff --git a/examples/gfcc/ImperC.gf b/examples/gfcc/ImperC.gf index 191cdcf26..b35626fd0 100644 --- a/examples/gfcc/ImperC.gf +++ b/examples/gfcc/ImperC.gf @@ -4,7 +4,7 @@ concrete ImperC of Imper = open ResImper in { lincat Exp = PrecExp ; - Typ, NumTyp = {s,s2 : Str} ; + Typ = {s,s2 : Str} ; Rec = {s,s2,s3 : Str} ; lin @@ -39,15 +39,14 @@ concrete ImperC of Imper = open ResImper in { EVar _ x = constant x.s ; EInt n = constant n.s ; EFloat a b = constant (a.s ++ "." ++ b.s) ; - EMul _ = infixL 3 "*" ; - EAdd _ = infixL 2 "+" ; - ESub _ = infixL 2 "-" ; - ELt _ = infixN 1 "<" ; + EMul _ _ = infixL 3 "*" ; + EAdd _ _ = infixL 2 "+" ; + ESub _ _ = infixL 2 "-" ; + ELt _ _ = infixN 1 "<" ; EAppNil val f = constant (f.s ++ paren []) ; EApp args val f exps = constant (f.s ++ paren exps.s) ; - TNum t = t ; TInt = {s = "int" ; s2 = "\"%d\""} ; TFloat = {s = "float" ; s2 = "\"%f\""} ; NilTyp = ss [] ; |