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 | 214f1f451fc04f7d8b5999a0f33a6794d47241f8 (patch) | |
| tree | ad73b7fad0e33fa4f2162ae67248ad68d8f90489 /src/settings.sml | |
| parent | b5520935745c4415fe91ecca58276a4a3cf24790 (diff) | |
Validating views
Diffstat (limited to 'src/settings.sml')
| -rw-r--r-- | src/settings.sml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/settings.sml b/src/settings.sml index dbc3bf77..a242768f 100644 --- a/src/settings.sml +++ b/src/settings.sml @@ -318,6 +318,7 @@ type dbms = { 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, query : {loc : ErrorMsg.span, numCols : int, doCols : ({wontLeakStrings : bool, col : int, typ : sql_type} -> Print.PD.pp_desc) |