diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-06-30 15:45:10 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-06-30 15:45:10 -0400 |
| commit | b731727df078c7295aff5309460fb93a2e51c8e5 (patch) | |
| tree | ccb42c49cdb4b1963ad490452f92998a124f7d7c /src/settings.sig | |
| parent | cc1ee568ed458ba1e693074d0dad9a27235b7963 (diff) | |
Move all DBMS initialization to #init
Diffstat (limited to 'src/settings.sig')
| -rw-r--r-- | src/settings.sig | 11 |
1 files changed, 7 insertions, 4 deletions
diff --git a/src/settings.sig b/src/settings.sig index 3b897353..0ed2924b 100644 --- a/src/settings.sig +++ b/src/settings.sig @@ -112,8 +112,9 @@ signature SETTINGS = sig | Client | Nullable of sql_type - val p_sql_type : sql_type -> Print.PD.pp_desc + val p_sql_type : sql_type -> string val isBlob : sql_type -> bool + val isNotNull : sql_type -> bool type dbms = { name : string, @@ -124,9 +125,11 @@ signature SETTINGS = sig (* Pass these linker arguments *) global_init : Print.PD.pp_desc, (* Define uw_client_init() *) - init : string * (string * int) list -> Print.PD.pp_desc, - (* Define uw_db_init(), uw_db_close(), uw_db_begin(), uw_db_commit(), and uw_db_rollback() - * from dbstring and prepared statements *) + init : {dbstring : string, + prepared : (string * int) list, + tables : (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, doCols : ({wontLeakStrings : bool, col : int, typ : sql_type} -> Print.PD.pp_desc) -> Print.PD.pp_desc} |