A view query works

1 files changed, 8 insertions, 0 deletions

diff --git a/src/corify.sml b/src/corify.sml
index c1cd940e..f1895e19 100644
--- a/src/corify.sml
+++ b/src/corify.sml
@@ -992,6 +992,13 @@ fun corifyDecl mods (all as (d, loc : EM.span), st) =
         in
             ([(L'.DSequence (x, n, s), loc)], st)
         end
+      | L.DView (_, x, n, e, c) =>
+        let
+            val (st, n) = St.bindVal st x n
+            val s = relify (doRestify (mods, x))
+        in
+            ([(L'.DView (x, n, s, corifyExp st e, corifyCon st c), loc)], st)
+        end
 
       | L.DDatabase s => ([(L'.DDatabase s, loc)], st)
 
@@ -1063,6 +1070,7 @@ fun maxName ds = foldl (fn ((d, _), n) =>
                              | L.DExport _ => n
                              | L.DTable (_, _, n', _, _, _, _, _) => Int.max (n, n')
                              | L.DSequence (_, _, n') => Int.max (n, n')
+                             | L.DView (_, _, n', _, _) => Int.max (n, n')
                              | L.DDatabase _ => n
                              | L.DCookie (_, _, n', _) => Int.max (n, n')
                              | L.DStyle (_, _, n') => Int.max (n, n'))