summaryrefslogtreecommitdiff
path: root/examples/gfcc/ImperC.gf
diff options
context:
space:
mode:
authoraarne <unknown>2004-09-25 21:49:21 +0000
committeraarne <unknown>2004-09-25 21:49:21 +0000
commite1617bbb8e7d7dfa8ba4ba50cf1c321610f57ace (patch)
tree20c027980047347c9e8199c4d78a24105ef54d9f /examples/gfcc/ImperC.gf
parent2094e335df40545a5303e0b2340f53e54f8e5896 (diff)
version 2 of doc
Diffstat (limited to 'examples/gfcc/ImperC.gf')
-rw-r--r--examples/gfcc/ImperC.gf3
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) ;
}