Mercurial > urweb

diff src/urweb.grm @ 459:f542bc3133dc

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Cookies through elaborate
author Adam Chlipala <adamc@hcoop.net>
date Thu, 06 Nov 2008 10:29:55 -0500
parents 86c063fedc4d
children d34834af4512
line wrap: on
line diff
--- a/src/urweb.grm	Thu Nov 06 10:04:03 2008 -0500
+++ b/src/urweb.grm	Thu Nov 06 10:29:55 2008 -0500
@@ -201,6 +201,7 @@
  | LET | IN
  | STRUCTURE | SIGNATURE | STRUCT | SIG | END | FUNCTOR | WHERE | EXTERN | SQL
  | INCLUDE | OPEN | CONSTRAINT | CONSTRAINTS | EXPORT | TABLE | SEQUENCE
+ | COOKIE
  | CASE | IF | THEN | ELSE
 
  | XML_BEGIN of string | XML_END | XML_BEGIN_END of string
@@ -426,6 +427,7 @@
                                          in
                                              [(DClass (SYMBOL1, c), s (CLASSleft, cexpright))]
                                          end)
+       | COOKIE SYMBOL COLON cexp       ([(DCookie (SYMBOL, cexp), s (COOKIEleft, cexpright))])
 
 kopt   :                                (NONE)
        | DCOLON kind                    (SOME kind)
@@ -506,6 +508,7 @@
                                          in
                                              (SgiClass (SYMBOL1, c), s (CLASSleft, cexpright))
                                          end)
+       | COOKIE SYMBOL COLON cexp       (SgiCookie (SYMBOL, cexp), s (COOKIEleft, cexpright))
 
 sgis   :                                ([])
        | sgi sgis                       (sgi :: sgis)