diff options
author | Adam Chlipala <adamc@hcoop.net> | 2008-06-26 11:09:30 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2008-06-26 11:09:30 -0400 |
commit | 77790187bb1c1e0de956d4bbc7795678fb0c6544 (patch) | |
tree | d748a92db1c3c4b8466e6cd0728b7cf93832a84c /src/lacweb.grm | |
parent | 1d4b2683a02155a474d79436247d8a1d293237ae (diff) |
Elaborate efold
Diffstat (limited to 'src/lacweb.grm')
-rw-r--r-- | src/lacweb.grm | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/lacweb.grm b/src/lacweb.grm index c1cf6712..c42b5eb5 100644 --- a/src/lacweb.grm +++ b/src/lacweb.grm @@ -249,6 +249,8 @@ eterm : LPAREN eexp RPAREN (#1 eexp, s (LPARENleft, RPARENright)) | FLOAT (EPrim (Prim.Float FLOAT), s (FLOATleft, FLOATright)) | STRING (EPrim (Prim.String STRING), s (STRINGleft, STRINGright)) + | FOLD (EFold, s (FOLDleft, FOLDright)) + rexp : ([]) | ident EQ eexp ([(ident, eexp)]) | ident EQ eexp COMMA rexp ((ident, eexp) :: rexp) |