Mercurial > urweb

diff src/reduce.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 618f9f458da9
children beb67ff4c8a0
line wrap: on
line diff
--- a/src/reduce.sml	Thu Apr 01 17:23:17 2010 -0400
+++ b/src/reduce.sml	Sun Apr 04 12:29:34 2010 -0400
@@ -746,6 +746,15 @@
                       namedC,
                       namedE))
                 end
+              | DPolicy e1 =>
+                let
+                    val e1 = exp (namedC, namedE) [] e1
+                in
+                    ((DPolicy e1, loc),
+                     (polyC,
+                      namedC,
+                      namedE))
+                end
 
         val (file, _) = ListUtil.foldlMap doDecl (IS.empty, IM.empty, IM.empty) file
     in