Mercurial > urweb

diff src/mono_util.sml @ 754:8688e01ae469

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
A view query works
author Adam Chlipala <adamc@hcoop.net>
date Tue, 28 Apr 2009 15:04:37 -0400
parents f7e2026dd5ae
children fa2019a63ea4
line wrap: on
line diff
--- a/src/mono_util.sml	Tue Apr 28 14:02:23 2009 -0400
+++ b/src/mono_util.sml	Tue Apr 28 15:04:37 2009 -0400
@@ -492,6 +492,10 @@
                               fn ce' =>
                                  (DTable (s, xts, pe', ce'), loc)))
               | DSequence _ => S.return2 dAll
+              | DView (s, xts, e) =>
+                S.map2 (mfe ctx e,
+                     fn e' =>
+                        (DView (s, xts, e'), loc))
               | DDatabase _ => S.return2 dAll
               | DJavaScript _ => S.return2 dAll
               | DCookie _ => S.return2 dAll
@@ -575,6 +579,7 @@
                                       | DExport _ => ctx
                                       | DTable _ => ctx
                                       | DSequence _ => ctx
+                                      | DView _ => ctx
                                       | DDatabase _ => ctx
                                       | DJavaScript _ => ctx
                                       | DCookie _ => ctx
@@ -626,6 +631,7 @@
                           | DExport _ => count
                           | DTable _ => count
                           | DSequence _ => count
+                          | DView _ => count
                           | DDatabase _ => count
                           | DJavaScript _ => count
                           | DCookie _ => count