Mercurial > urweb

comparison src/lacweb.grm @ 173:8221b95cc24c

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Patterns for int and string constants
author Adam Chlipala <adamc@hcoop.net>
date Thu, 31 Jul 2008 10:44:52 -0400
parents a158f8c5aa55
children 7ee424760d2f
comparison
equal deleted inserted replaced
172:021f5beb6f8d 173:8221b95cc24c
346 | cpath pterm (PCon (#1 cpath, #2 cpath, SOME pterm), s (cpathleft, ptermright)) 346 | cpath pterm (PCon (#1 cpath, #2 cpath, SOME pterm), s (cpathleft, ptermright))
347 347
348 pterm : SYMBOL (PVar SYMBOL, s (SYMBOLleft, SYMBOLright)) 348 pterm : SYMBOL (PVar SYMBOL, s (SYMBOLleft, SYMBOLright))
349 | cpath (PCon (#1 cpath, #2 cpath, NONE), s (cpathleft, cpathright)) 349 | cpath (PCon (#1 cpath, #2 cpath, NONE), s (cpathleft, cpathright))
350 | UNDER (PWild, s (UNDERleft, UNDERright)) 350 | UNDER (PWild, s (UNDERleft, UNDERright))
351 | INT (PPrim (Prim.Int INT), s (INTleft, INTright))
352 | STRING (PPrim (Prim.String STRING), s (STRINGleft, STRINGright))
351 | LPAREN pat RPAREN (pat) 353 | LPAREN pat RPAREN (pat)
352 354
353 rexp : ([]) 355 rexp : ([])
354 | ident EQ eexp ([(ident, eexp)]) 356 | ident EQ eexp ([(ident, eexp)])
355 | ident EQ eexp COMMA rexp ((ident, eexp) :: rexp) 357 | ident EQ eexp COMMA rexp ((ident, eexp) :: rexp)