From 89be6e97ad713323aaf23f866a7fe08303e7180f Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Fri, 30 Nov 2012 09:50:00 -0500
Subject: Fix generation of timestamp literals for MySQL and SQLite

---
 tests/timestamp.ur  | 11 +++++++++++
 tests/timestamp.urp |  5 +++++
 2 files changed, 16 insertions(+)
 create mode 100644 tests/timestamp.ur
 create mode 100644 tests/timestamp.urp

(limited to 'tests')

diff --git a/tests/timestamp.ur b/tests/timestamp.ur
new file mode 100644
index 00000000..56f030ed
--- /dev/null
+++ b/tests/timestamp.ur
@@ -0,0 +1,11 @@
+table t : { A : time }
+
+fun many ls =
+    case ls of
+        [] => (WHERE TRUE)
+      | tm :: ls' => (WHERE t.A = {[tm]} AND {many ls'})
+
+task initialize = fn () =>
+                     tm <- now;
+                     dml (DELETE FROM t WHERE {many (tm :: [])})
+
diff --git a/tests/timestamp.urp b/tests/timestamp.urp
new file mode 100644
index 00000000..d07aa304
--- /dev/null
+++ b/tests/timestamp.urp
@@ -0,0 +1,5 @@
+database dbname=test
+dbms mysql
+sql timestamp.sql
+
+timestamp
-- 
cgit v1.2.3