From 6d87f78102bba77bc090ca3fb105597d3ce3748f Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Fri, 14 Dec 2018 12:33:29 -0500
Subject: Proper ignoring of empty SQL updates

---
 tests/emptyUpdate.ur  | 6 ++++++
 tests/emptyUpdate.urp | 4 ++++
 2 files changed, 10 insertions(+)
 create mode 100644 tests/emptyUpdate.ur
 create mode 100644 tests/emptyUpdate.urp

(limited to 'tests')

diff --git a/tests/emptyUpdate.ur b/tests/emptyUpdate.ur
new file mode 100644
index 00000000..0402d78a
--- /dev/null
+++ b/tests/emptyUpdate.ur
@@ -0,0 +1,6 @@
+table a : { B : int }
+
+fun main () : transaction page =
+    dml (update [[]] {} a (WHERE TRUE));
+    return <xml></xml>
+    
diff --git a/tests/emptyUpdate.urp b/tests/emptyUpdate.urp
new file mode 100644
index 00000000..42cc98e2
--- /dev/null
+++ b/tests/emptyUpdate.urp
@@ -0,0 +1,4 @@
+database dbname=test
+safeGet EmptyUpdate/main
+
+emptyUpdate
-- 
cgit v1.2.3