From 9b122d78f58a8c22d0f4c4bde2d935c4508e00b8 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sun, 5 Sep 2010 14:00:57 -0400 Subject: tryDml --- tests/tryDml.ur | 13 +++++++++++++ 1 file changed, 13 insertions(+) create mode 100644 tests/tryDml.ur (limited to 'tests/tryDml.ur') diff --git a/tests/tryDml.ur b/tests/tryDml.ur new file mode 100644 index 00000000..bfe98cdb --- /dev/null +++ b/tests/tryDml.ur @@ -0,0 +1,13 @@ +table t : {Id : int} + PRIMARY KEY Id + +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]} + +fun main () = return + -- cgit v1.2.3