Mercurial > urweb

diff src/settings.sig @ 872:9654bce27cff

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Validating views
author Adam Chlipala <adamc@hcoop.net>
date Tue, 30 Jun 2009 16:17:32 -0400
parents 7fa9a37a34b3
children 41971801b62d
line wrap: on
line diff
--- a/src/settings.sig	Tue Jun 30 15:59:41 2009 -0400
+++ b/src/settings.sig	Tue Jun 30 16:17:32 2009 -0400
@@ -128,6 +128,7 @@
          init : {dbstring : string,
                  prepared : (string * int) list,
                  tables : (string * (string * sql_type) list) list,
+                 views : (string * (string * sql_type) list) list,
                  sequences : string list} -> Print.PD.pp_desc,
          (* Define uw_db_init(), uw_db_close(), uw_db_begin(), uw_db_commit(), and uw_db_rollback() *)
          query : {loc : ErrorMsg.span, numCols : int,