Mercurial > urweb

diff src/corify.sml @ 1199:c316ca3c9ec6

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Pushing policies through
author Adam Chlipala <adamc@hcoop.net>
date Sun, 04 Apr 2010 12:29:34 -0400
parents 7fdea74b1dd9
children b4480a56cab7
line wrap: on
line diff
--- a/src/corify.sml	Thu Apr 01 17:23:17 2010 -0400
+++ b/src/corify.sml	Sun Apr 04 12:29:34 2010 -0400
@@ -1080,6 +1080,9 @@
       | L.DTask (e1, e2) =>
         ([(L'.DTask (corifyExp st e1, corifyExp st e2), loc)], st)
 
+      | L.DPolicy e1 =>
+        ([(L'.DPolicy (corifyExp st e1), loc)], st)
+
 and corifyStr mods ((str, _), st) =
     case str of
         L.StrConst ds =>
@@ -1137,7 +1140,8 @@
                              | L.DDatabase _ => n
                              | L.DCookie (_, _, n', _) => Int.max (n, n')
                              | L.DStyle (_, _, n') => Int.max (n, n')
-                             | L.DTask _ => n)
+                             | L.DTask _ => n
+                             | L.DPolicy _ => n)
                        0 ds
 
 and maxNameStr (str, _) =