Mercurial > urweb

comparison src/lacweb.grm @ 89:d3ee072fa609

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Tested constraints through functors
author Adam Chlipala <adamc@hcoop.net>
date Tue, 01 Jul 2008 16:06:58 -0400
parents 7bab29834cd6
children 4327abd52997
comparison
equal deleted inserted replaced
88:7bab29834cd6 89:d3ee072fa609
240 rcone : ([]) 240 rcone : ([])
241 | ident COLON cexp ([(ident, cexp)]) 241 | ident COLON cexp ([(ident, cexp)])
242 | ident COLON cexp COMMA rcone ((ident, cexp) :: rcone) 242 | ident COLON cexp COMMA rcone ((ident, cexp) :: rcone)
243 243
244 ident : CSYMBOL (CName CSYMBOL, s (CSYMBOLleft, CSYMBOLright)) 244 ident : CSYMBOL (CName CSYMBOL, s (CSYMBOLleft, CSYMBOLright))
245 | SYMBOL (CVar ([], SYMBOL), s (SYMBOLleft, SYMBOLright)) 245 | path (CVar path, s (pathleft, pathright))
246 246
247 eapps : eterm (eterm) 247 eapps : eterm (eterm)
248 | eapps eterm (EApp (eapps, eterm), s (eappsleft, etermright)) 248 | eapps eterm (EApp (eapps, eterm), s (eappsleft, etermright))
249 | eapps LBRACK cexp RBRACK (ECApp (eapps, cexp), s (eappsleft, RBRACKright)) 249 | eapps LBRACK cexp RBRACK (ECApp (eapps, cexp), s (eappsleft, RBRACKright))
250 250