diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-06-30 16:17:32 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-06-30 16:17:32 -0400 |
| commit | 96295f93bcf9e5e46a49b252822fedb8a527886b (patch) | |
| tree | ad73b7fad0e33fa4f2162ae67248ad68d8f90489 /src/cjr_print.sml | |
| parent | 156487dbaf4139e9e4f1f119fa03adbbb46dea90 (diff) | |
Validating views
Diffstat (limited to 'src/cjr_print.sml')
| -rw-r--r-- | src/cjr_print.sml | 4 |
1 files changed, 4 insertions, 0 deletions
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) { };", |