From 51f2a80dac5c3cd25a27fb5abfdfa50d813ab0b2 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Tue, 28 Apr 2009 15:04:37 -0400
Subject: A view query works

---
 src/mono_util.sml | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'src/mono_util.sml')

diff --git a/src/mono_util.sml b/src/mono_util.sml
index dd848ba6..caf96ac7 100644
--- a/src/mono_util.sml
+++ b/src/mono_util.sml
@@ -492,6 +492,10 @@ fun mapfoldB {typ = fc, exp = fe, decl = fd, bind} =
                               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 @@ fun mapfoldB (all as {bind, ...}) =
                                       | DExport _ => ctx
                                       | DTable _ => ctx
                                       | DSequence _ => ctx
+                                      | DView _ => ctx
                                       | DDatabase _ => ctx
                                       | DJavaScript _ => ctx
                                       | DCookie _ => ctx
@@ -626,6 +631,7 @@ val maxName = foldl (fn ((d, _) : decl, count) =>
                           | DExport _ => count
                           | DTable _ => count
                           | DSequence _ => count
+                          | DView _ => count
                           | DDatabase _ => count
                           | DJavaScript _ => count
                           | DCookie _ => count
-- 
cgit v1.2.3