From 96295f93bcf9e5e46a49b252822fedb8a527886b Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Tue, 30 Jun 2009 16:17:32 -0400
Subject: Validating views

---
 src/cjr_print.sml | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'src/cjr_print.sml')

diff --git a/src/cjr_print.sml b/src/cjr_print.sml
index 7e2cbc52..7d1120b4 100644
--- a/src/cjr_print.sml
+++ b/src/cjr_print.sml
@@ -2578,6 +2578,7 @@ fun p_file env (ds, ps) =
 
         val hasDb = ref false
         val tables = ref []
+        val views = ref []
         val sequences = ref []
         val dbstring = ref ""
         val expunge = ref 0
@@ -2592,6 +2593,8 @@ fun p_file env (ds, ps) =
                                                                                    initialize := z)
                            | DTable (s, xts, _, _) => tables := (s, map (fn (x, t) =>
                                                                             (x, sql_type_in env t)) xts) :: !tables
+                           | DView (s, xts, _) => views := (s, map (fn (x, t) =>
+                                                                       (x, sql_type_in env t)) xts) :: !views
                            | DSequence s => sequences := s :: !sequences
                            | DPreparedStatements ss => prepped := ss
                            | _ => ()) ds
@@ -2666,6 +2669,7 @@ fun p_file env (ds, ps) =
                  #init (Settings.currentDbms ()) {dbstring = !dbstring,
                                                   prepared = !prepped,
                                                   tables = !tables,
+                                                  views = !views,
                                                   sequences = !sequences}
              else
                  box [string "void uw_db_init(uw_context ctx) { };",
-- 
cgit v1.2.3