From 4bc1a8c05882a381f7e6725447cc67025058ff13 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Mon, 20 Dec 2010 13:22:44 -0500 Subject: Use proper string time format for SQLite --- tests/sqliteTime.ur | 14 ++++++++++++++ 1 file changed, 14 insertions(+) create mode 100644 tests/sqliteTime.ur (limited to 'tests/sqliteTime.ur') diff --git a/tests/sqliteTime.ur b/tests/sqliteTime.ur new file mode 100644 index 00000000..427b5e0f --- /dev/null +++ b/tests/sqliteTime.ur @@ -0,0 +1,14 @@ +table dates : { Date : time } + +fun aform () = + let + val a : time = readError "01/02/03 04:06:07" + in + dml(INSERT INTO dates (Date) VALUES ({[a]})); + ds <- queryX (SELECT * FROM dates) + (fn r => {[r.Dates.Date]}
); + return {ds} + end + +fun main () = + return -- cgit v1.2.3