From c3d4d3e0a6a72dfff9f4f62ec01c319cb18a4130 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Fri, 17 Jul 2009 17:09:55 -0400
Subject: Timestamps working with SQLite

---
 src/sqlite.sml | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

(limited to 'src/sqlite.sml')

diff --git a/src/sqlite.sml b/src/sqlite.sml
index ce87de6d..b515d313 100644
--- a/src/sqlite.sml
+++ b/src/sqlite.sml
@@ -37,7 +37,7 @@ fun p_sql_type t =
       | Float => "real"
       | String => "text"
       | Bool => "integer"
-      | Time => "integer"
+      | Time => "text"
       | Blob => "blob"
       | Channel => "integer"
       | Client => "integer"
@@ -371,7 +371,7 @@ fun p_getcol {loc, wontLeakStrings, col = i, typ = t} =
                 else
                     box [string "uw_strdup(ctx, sqlite3_column_text(stmt, ", string (Int.toString i), string "))"]
               | Bool => box [string "(uw_Basis_bool)sqlite3_column_int(stmt, ", string (Int.toString i), string ")"]
-              | Time => box [string "(uw_Basis_time)sqlite3_column_int64(stmt, ", string (Int.toString i), string ")"]
+              | Time => box [string "uw_Basis_stringToTime_error(ctx, sqlite3_column_text(stmt, ", string (Int.toString i), string "))"]
               | Blob => box [string "({",
                              newline,
                              string "char *data = sqlite3_column_blob(stmt, ",
@@ -526,11 +526,11 @@ fun p_inputs loc =
                                                      string ", ",
                                                      arg,
                                                      string ")"]
-                                      | Time => box [string "sqlite3_bind_int64(stmt, ",
+                                      | Time => box [string "sqlite3_bind_text(stmt, ",
                                                      string (Int.toString (i + 1)),
-                                                     string ", ",
+                                                     string ", uw_Basis_attrifyTime(ctx, ",
                                                      arg,
-                                                     string ")"]
+                                                     string "), -1, SQLITE_TRANSIENT)"]
                                       | Blob => box [string "sqlite3_bind_blob(stmt, ",
                                                      string (Int.toString (i + 1)),
                                                      string ", ",
-- 
cgit v1.2.3