Mercurial > urweb

diff src/lacweb.grm @ 175:b2d752455182

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Elaborating record patterns
author Adam Chlipala <adamc@hcoop.net>
date Thu, 31 Jul 2008 13:08:57 -0400
parents 7ee424760d2f
children 3eb53c957d10
line wrap: on
line diff
--- a/src/lacweb.grm	Thu Jul 31 11:28:55 2008 -0400
+++ b/src/lacweb.grm	Thu Jul 31 13:08:57 2008 -0400
@@ -356,9 +356,9 @@
        | UNIT                           (PRecord ([], false), s (UNITleft, UNITright))
        | LBRACE rpat RBRACE             (PRecord rpat, s (LBRACEleft, RBRACEright))
 
-rpat   : STRING EQ pat                  ([(STRING, pat)], false)
+rpat   : CSYMBOL EQ pat                 ([(CSYMBOL, pat)], false)
        | DOTDOTDOT                      ([], true)
-       | STRING EQ pat COMMA rpat       ((STRING, pat) :: #1 rpat, #2 rpat)
+       | CSYMBOL EQ pat COMMA rpat      ((CSYMBOL, pat) :: #1 rpat, #2 rpat)
 
 rexp   :                                ([])
        | ident EQ eexp                  ([(ident, eexp)])