Mercurial > urweb

comparison src/lacweb.grm @ 71:6431b315a1e3

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Elaborate efold
author Adam Chlipala <adamc@hcoop.net>
date Thu, 26 Jun 2008 11:09:30 -0400
parents 9f89f0b00b84
children b4f2a258e52c
comparison
equal deleted inserted replaced
70:2e0f3b21fb85 71:6431b315a1e3
247 247
248 | INT (EPrim (Prim.Int INT), s (INTleft, INTright)) 248 | INT (EPrim (Prim.Int INT), s (INTleft, INTright))
249 | FLOAT (EPrim (Prim.Float FLOAT), s (FLOATleft, FLOATright)) 249 | FLOAT (EPrim (Prim.Float FLOAT), s (FLOATleft, FLOATright))
250 | STRING (EPrim (Prim.String STRING), s (STRINGleft, STRINGright)) 250 | STRING (EPrim (Prim.String STRING), s (STRINGleft, STRINGright))
251 251
252 | FOLD (EFold, s (FOLDleft, FOLDright))
253
252 rexp : ([]) 254 rexp : ([])
253 | ident EQ eexp ([(ident, eexp)]) 255 | ident EQ eexp ([(ident, eexp)])
254 | ident EQ eexp COMMA rexp ((ident, eexp) :: rexp) 256 | ident EQ eexp COMMA rexp ((ident, eexp) :: rexp)