diff options
author | Adam Chlipala <adamc@hcoop.net> | 2008-10-24 16:47:18 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2008-10-24 16:47:18 -0400 |
commit | 6dbd6e0786f8ab1b5b35883dca6695cf58272b5b (patch) | |
tree | e31ecf97ee6f1ea13fec2933c85e987d660e0871 /tests | |
parent | bb640a6174757adb8693d25c831728699e23d68b (diff) |
Transactions seem to be working
Diffstat (limited to 'tests')
-rw-r--r-- | tests/aborter.sql | 3 | ||||
-rw-r--r-- | tests/aborter.ur | 5 | ||||
-rw-r--r-- | tests/aborter.urp | 4 |
3 files changed, 12 insertions, 0 deletions
diff --git a/tests/aborter.sql b/tests/aborter.sql new file mode 100644 index 00000000..ab6110fc --- /dev/null +++ b/tests/aborter.sql @@ -0,0 +1,3 @@ +CREATE TABLE uw_Aborter_t(uw_a int8 NOT NULL); + +
\ No newline at end of file diff --git a/tests/aborter.ur b/tests/aborter.ur new file mode 100644 index 00000000..0921bdfc --- /dev/null +++ b/tests/aborter.ur @@ -0,0 +1,5 @@ +table t : {A : int} + +fun main () : transaction page = + () <- dml (INSERT INTO t (A) VALUES (0)); + return (error <xml>No way, Jose!</xml>) diff --git a/tests/aborter.urp b/tests/aborter.urp new file mode 100644 index 00000000..fc1925ae --- /dev/null +++ b/tests/aborter.urp @@ -0,0 +1,4 @@ +database dbname=aborter +sql aborter.sql + +aborter |