diff options
author | 2010-05-06 13:57:01 -0400 | |
---|---|---|
committer | 2010-05-06 13:57:01 -0400 | |
commit | 11de01a71c637cddaf6a7eb1c4bbe31a8162a6d5 (patch) | |
tree | 0931e395c9448d6b3b9f4120a3b4c47c9dad9846 /src/urweb.grm | |
parent | 68dc3c23e37d57921f0c5110d7121952818468ff (diff) | |
parent | 55edf40b3a3a41eb99b55261e9191ab8772be83a (diff) |
Merge
Diffstat (limited to 'src/urweb.grm')
-rw-r--r-- | src/urweb.grm | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/urweb.grm b/src/urweb.grm index ad3de6b2..3df9554f 100644 --- a/src/urweb.grm +++ b/src/urweb.grm @@ -202,7 +202,7 @@ fun patType loc (p : pat) = | LET | IN | STRUCTURE | SIGNATURE | STRUCT | SIG | END | FUNCTOR | WHERE | EXTERN | SQL | SELECT1 | INCLUDE | OPEN | CONSTRAINT | CONSTRAINTS | EXPORT | TABLE | SEQUENCE | VIEW - | COOKIE | STYLE | TASK + | COOKIE | STYLE | TASK | POLICY | CASE | IF | THEN | ELSE | ANDALSO | ORELSE | XML_BEGIN of string | XML_END | XML_BEGIN_END of string @@ -481,6 +481,7 @@ decl : CON SYMBOL cargl2 kopt EQ cexp (let | COOKIE SYMBOL COLON cexp ([(DCookie (SYMBOL, cexp), s (COOKIEleft, cexpright))]) | STYLE SYMBOL ([(DStyle SYMBOL, s (STYLEleft, SYMBOLright))]) | TASK eapps EQ eexp ([(DTask (eapps, eexp), s (TASKleft, eexpright))]) + | POLICY eexp ([(DPolicy eexp, s (POLICYleft, eexpright))]) dtype : SYMBOL dargs EQ barOpt dcons (SYMBOL, dargs, dcons) |