diff options
Diffstat (limited to 'examples/gfcc/ImperC.gf')
| -rw-r--r-- | examples/gfcc/ImperC.gf | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/examples/gfcc/ImperC.gf b/examples/gfcc/ImperC.gf index d4e690635..cce553999 100644 --- a/examples/gfcc/ImperC.gf +++ b/examples/gfcc/ImperC.gf @@ -43,6 +43,7 @@ concrete ImperC of Imper = open ResImper in { 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 ; @@ -50,8 +51,6 @@ concrete ImperC of Imper = open ResImper in { TFloat = ss "float" ; NilTyp = ss [] ; ConsTyp = cc2 ; - - NilExp = ss [] ; OneExp _ e = e ; ConsExp _ _ e es = ss (e.s ++ "," ++ es.s) ; } |