From c6ed3035896b5cca544ef9bf245cd76019783b1f Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Fri, 24 Oct 2008 17:30:07 -0400
Subject: Properly freeing libpq results on errors

---
 tests/aborter2.ur | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 tests/aborter2.ur

(limited to 'tests/aborter2.ur')

diff --git a/tests/aborter2.ur b/tests/aborter2.ur
new file mode 100644
index 00000000..a7270ba1
--- /dev/null
+++ b/tests/aborter2.ur
@@ -0,0 +1,7 @@
+table t : { X : int }
+
+fun main () : transaction page =
+    v <- query (SELECT * FROM t)
+         (fn r (_ : int) => return (error <xml>Shot down!</xml>))
+         0;
+    return <xml>Result: {[v]}</xml>
-- 
cgit v1.2.3