From cdd504ea9f9dcf4cfe18756e48319b7a9df296cd Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Tue, 7 Sep 2010 09:06:13 -0400 Subject: 'tryDml' works with Postgres --- tests/tryDml.ur | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) (limited to 'tests/tryDml.ur') diff --git a/tests/tryDml.ur b/tests/tryDml.ur index bfe98cdb..942cc1cb 100644 --- a/tests/tryDml.ur +++ b/tests/tryDml.ur @@ -5,8 +5,10 @@ fun doStuff () = dml (INSERT INTO t (Id) VALUES (0)); o1 <- tryDml (INSERT INTO t (Id) VALUES (0)); dml (INSERT INTO t (Id) VALUES (1)); - o2 <- tryDml (INSERT INTO t (Id) VALUES (1)); - return {[o1]}; {[o2]} + o2 <- tryDml (INSERT INTO t (Id) VALUES (2)); + dml (INSERT INTO t (Id) VALUES (3)); + o3 <- tryDml (INSERT INTO t (Id) VALUES (3)); + return {[o1]}; {[o2]}; {[o3]} fun main () = return