Mercurial > urweb

diff 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
line wrap: on
line diff
--- a/src/lacweb.grm	Thu Jul 31 10:31:30 2008 -0400
+++ b/src/lacweb.grm	Thu Jul 31 10:44:52 2008 -0400
@@ -348,6 +348,8 @@
 pterm  : SYMBOL                         (PVar SYMBOL, s (SYMBOLleft, SYMBOLright))
        | cpath                          (PCon (#1 cpath, #2 cpath, NONE), s (cpathleft, cpathright))
        | UNDER                          (PWild, s (UNDERleft, UNDERright))
+       | INT                            (PPrim (Prim.Int INT), s (INTleft, INTright))
+       | STRING                         (PPrim (Prim.String STRING), s (STRINGleft, STRINGright))
        | LPAREN pat RPAREN              (pat)
 
 rexp   :                                ([])