--- a/src/corify.sml	Tue Apr 28 14:02:23 2009 -0400
+++ b/src/corify.sml	Tue Apr 28 15:04:37 2009 -0400
@@ -992,6 +992,13 @@
         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 @@
                              | 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'))