diff src/sqlite.sml @ 1094:db52c32dbe42

All three current protocols work with move to using uw_app
author Adam Chlipala <adamc@hcoop.net>
date Sun, 27 Dec 2009 10:37:24 -0500
parents b2311dfb3158
children 150465f2895c
line wrap: on
line diff
--- a/src/sqlite.sml	Sat Dec 26 11:56:40 2009 -0500
+++ b/src/sqlite.sml	Sun Dec 27 10:37:24 2009 -0500
@@ -156,7 +156,7 @@
              newline,
              newline,
 
-             string "void uw_client_init(void) {",
+             string "static void uw_client_init(void) {",
              newline,
              box [string "uw_sqlfmtInt = \"%lld%n\";",
                   newline,
@@ -256,7 +256,7 @@
              newline,
              newline,
              
-             string "void uw_db_init(uw_context ctx) {",
+             string "static void uw_db_init(uw_context ctx) {",
              newline,
              string "sqlite3 *sqlite;",
              newline,
@@ -283,7 +283,7 @@
              newline,
              newline,
 
-             string "void uw_db_close(uw_context ctx) {",
+             string "static void uw_db_close(uw_context ctx) {",
              newline,
              string "uw_conn *conn = uw_get_db(ctx);",
              newline,
@@ -302,7 +302,7 @@
              newline,
              newline,
 
-             string "int uw_db_begin(uw_context ctx) {",
+             string "static int uw_db_begin(uw_context ctx) {",
              newline,
              string "uw_conn *conn = uw_get_db(ctx);",
              newline,
@@ -321,7 +321,7 @@
              newline,
              string "}",
              newline,
-             string "int uw_db_commit(uw_context ctx) {",
+             string "static int uw_db_commit(uw_context ctx) {",
              newline,
              string "uw_conn *conn = uw_get_db(ctx);",
              newline,
@@ -341,7 +341,7 @@
              newline,
              newline,
 
-             string "int uw_db_rollback(uw_context ctx) {",
+             string "static int uw_db_rollback(uw_context ctx) {",
              newline,
              string "uw_conn *conn = uw_get_db(ctx);",
              newline,