diff src/sqlite.sml @ 1266:459a334345ae

-moduleOf command-line option; compatibility fixes and better error messages for SQLite
author Adam Chlipala <adamc@hcoop.net>
date Thu, 27 May 2010 16:36:17 -0400
parents 134da5110bf7
children 514be09d5018
line wrap: on
line diff
--- a/src/sqlite.sml	Thu May 27 15:10:52 2010 -0400
+++ b/src/sqlite.sml	Thu May 27 16:36:17 2010 -0400
@@ -58,7 +58,7 @@
              newline,
              box [string "sqlite3_close(conn->conn);",
                   newline,
-                  string "uw_error(ctx, FATAL, \"Query preparation failed:\\n",
+                  string "uw_error(ctx, FATAL, \"Query preparation failed:<br />",
                   string q,
                   string "\");",
                   newline],
@@ -77,7 +77,7 @@
                   newline,
                   string "sqlite3_close(conn->conn);",
                   newline,
-                  string "uw_error(ctx, FATAL, \"No row returned:\\n",
+                  string "uw_error(ctx, FATAL, \"No row returned:<br />",
                   string q,
                   string "\");",
                   newline],
@@ -90,7 +90,7 @@
                   newline,
                   string "sqlite3_close(conn->conn);",
                   newline,
-                  string "uw_error(ctx, FATAL, \"Error getting row:\\n",
+                  string "uw_error(ctx, FATAL, \"Error getting row:<br />",
                   string q,
                   string "\");",
                   newline],
@@ -104,7 +104,7 @@
                   newline,
                   string "sqlite3_close(conn->conn);",
                   newline,
-                  string "uw_error(ctx, FATAL, \"Bad column count:\\n",
+                  string "uw_error(ctx, FATAL, \"Bad column count:<br />",
                   string q,
                   string "\");",
                   newline],
@@ -242,7 +242,7 @@
                                                                     string "msg[1023] = 0;",
                                                                     newline,
                                                                     uhoh false ("Error preparing statement: "
-                                                                                ^ String.toString s ^ "\\n%s") ["msg"]],
+                                                                                ^ String.toString s ^ "<br />%s") ["msg"]],
                                                                string "}",
                                                                newline]
                                                       end)
@@ -353,7 +353,7 @@
                   newline],
              string "else {",
              newline,
-             box [string "fprintf(stderr, \"Begin error: %s\\n\", sqlite3_errmsg(conn->conn));",
+             box [string "fprintf(stderr, \"Begin error: %s<br />\", sqlite3_errmsg(conn->conn));",
                   newline,
                   string "return 1;",
                   newline],
@@ -371,7 +371,7 @@
                   newline],
              string "else {",
              newline,
-             box [string "fprintf(stderr, \"Commit error: %s\\n\", sqlite3_errmsg(conn->conn));",
+             box [string "fprintf(stderr, \"Commit error: %s<br />\", sqlite3_errmsg(conn->conn));",
                   newline,
                   string "return 1;",
                   newline],
@@ -391,7 +391,7 @@
                   newline],
              string "else {",
              newline,
-             box [string "fprintf(stderr, \"Rollback error: %s\\n\", sqlite3_errmsg(conn->conn));",
+             box [string "fprintf(stderr, \"Rollback error: %s<br />\", sqlite3_errmsg(conn->conn));",
                   newline,
                   string "return 1;",
                   newline],
@@ -522,7 +522,7 @@
 
          string "if (r != SQLITE_DONE) uw_error(ctx, FATAL, \"",
          string (ErrorMsg.spanToString loc),
-         string ": query step failed: %s\\n%s\", ",
+         string ": query step failed: %s<br />%s\", ",
          query,
          string ", sqlite3_errmsg(conn->conn));",
          newline,
@@ -534,7 +534,7 @@
          string "sqlite3_stmt *stmt;",
          newline,
          newline,
-         string "if (sqlite3_prepare_v2(conn->conn, query, -1, &stmt, NULL) != SQLITE_OK) uw_error(ctx, FATAL, \"Error preparing statement: %s\\n%s\", sqlite3_errmsg(conn->conn));",
+         string "if (sqlite3_prepare_v2(conn->conn, query, -1, &stmt, NULL) != SQLITE_OK) uw_error(ctx, FATAL, \"Error preparing statement: %s<br />%s\", sqlite3_errmsg(conn->conn), query);",
          newline,
          newline,
          string "uw_push_cleanup(ctx, (void (*)(void *))sqlite3_finalize, stmt);",
@@ -654,7 +654,7 @@
          string (String.toString query),
          string "\", -1, &stmt, NULL) != SQLITE_OK) uw_error(ctx, FATAL, \"Error preparing statement: ",
          string (String.toString query),
-         string "\\n%s\", sqlite3_errmsg(conn->conn));",
+         string "<br />%s\", sqlite3_errmsg(conn->conn));",
          newline,
          if nested then
              box [string "uw_push_cleanup(ctx, (void (*)(void *))sqlite3_finalize, stmt);",
@@ -703,7 +703,7 @@
 
          string "if (r != SQLITE_DONE) uw_error(ctx, FATAL, \"",
          string (ErrorMsg.spanToString loc),
-         string ": DML step failed: %s\\n%s\", ",
+         string ": DML step failed: %s<br />%s\", ",
          dml,
          string ", sqlite3_errmsg(conn->conn));",
          newline]
@@ -714,7 +714,7 @@
          string "sqlite3_stmt *stmt;",
          newline,
          newline,
-         string "if (sqlite3_prepare_v2(conn->conn, dml, -1, &stmt, NULL) != SQLITE_OK) uw_error(ctx, FATAL, \"Error preparing statement: %s\\n%s\", dml, sqlite3_errmsg(conn->conn));",
+         string "if (sqlite3_prepare_v2(conn->conn, dml, -1, &stmt, NULL) != SQLITE_OK) uw_error(ctx, FATAL, \"Error preparing statement: %s<br />%s\", dml, sqlite3_errmsg(conn->conn));",
          newline,
          newline,
          string "uw_push_cleanup(ctx, (void (*)(void *))sqlite3_finalize, stmt);",
@@ -742,7 +742,7 @@
               string (String.toString dml),
               string "\", -1, &stmt, NULL) != SQLITE_OK) uw_error(ctx, FATAL, \"Error preparing statement: ",
               string (String.toString dml),
-              string "\\n%s\", sqlite3_errmsg(conn->conn));",
+              string "<br />%s\", sqlite3_errmsg(conn->conn));",
               newline,
               string "conn->p",
               string (Int.toString id),